Knight KE / Mbed OS Game_Master
Committer:
WFKnight
Date:
Thu Jun 21 13:51:43 2018 +0000
Revision:
0:9b3d4731edbb
UART, RTOS, LED

Who changed what in which revision?

UserRevisionLine numberNew contents of line
WFKnight 0:9b3d4731edbb 1 script:
WFKnight 0:9b3d4731edbb 2 # Check that example compiles
WFKnight 0:9b3d4731edbb 3 - sed -n '/``` c++/,/```/{/```/d; p;}' README.md > main.cpp
WFKnight 0:9b3d4731edbb 4 - PYTHONPATH=mbed-os python mbed-os/tools/make.py -t GCC_ARM -m K82F
WFKnight 0:9b3d4731edbb 5 --source=. --build=BUILD/K82F/GCC_ARM -j0
WFKnight 0:9b3d4731edbb 6
WFKnight 0:9b3d4731edbb 7 # Check that tests compile
WFKnight 0:9b3d4731edbb 8 - rm -rf main.cpp BUILD
WFKnight 0:9b3d4731edbb 9 - PYTHONPATH=mbed-os python mbed-os/tools/test.py -t GCC_ARM -m K82F
WFKnight 0:9b3d4731edbb 10 --source=. --build=BUILD/TESTS/K82F/GCC_ARM -j0
WFKnight 0:9b3d4731edbb 11 -n 'tests*'
WFKnight 0:9b3d4731edbb 12
WFKnight 0:9b3d4731edbb 13 # Run littlefs functional tests
WFKnight 0:9b3d4731edbb 14 - CFLAGS="-Wno-format" make -Clittlefs test QUIET=1
WFKnight 0:9b3d4731edbb 15
WFKnight 0:9b3d4731edbb 16 # Run littlefs functional tests with different configurations
WFKnight 0:9b3d4731edbb 17 # Note: r/w size of 64 is default in mbed
WFKnight 0:9b3d4731edbb 18 - CFLAGS="-Wno-format -DLFS_READ_SIZE=64 -DLFS_PROG_SIZE=64"
WFKnight 0:9b3d4731edbb 19 make -Clittlefs test QUIET=1
WFKnight 0:9b3d4731edbb 20 - CFLAGS="-Wno-format -DLFS_READ_SIZE=1 -DLFS_PROG_SIZE=1"
WFKnight 0:9b3d4731edbb 21 make -Clittlefs test QUIET=1
WFKnight 0:9b3d4731edbb 22 - CFLAGS="-Wno-format -DLFS_READ_SIZE=512 -DLFS_PROG_SIZE=512"
WFKnight 0:9b3d4731edbb 23 make -Clittlefs test QUIET=1
WFKnight 0:9b3d4731edbb 24 - CFLAGS="-Wno-format -DLFS_BLOCK_COUNT=1023"
WFKnight 0:9b3d4731edbb 25 make -Clittlefs test QUIET=1
WFKnight 0:9b3d4731edbb 26 - CFLAGS="-Wno-format -DLFS_LOOKAHEAD=2048"
WFKnight 0:9b3d4731edbb 27 make -Clittlefs test QUIET=1
WFKnight 0:9b3d4731edbb 28
WFKnight 0:9b3d4731edbb 29 # Self-host with littlefs-fuse for fuzz test
WFKnight 0:9b3d4731edbb 30 - CFLAGS="-Wno-format" make -C littlefs-fuse
WFKnight 0:9b3d4731edbb 31
WFKnight 0:9b3d4731edbb 32 - littlefs-fuse/lfs --format /dev/loop0
WFKnight 0:9b3d4731edbb 33 - littlefs-fuse/lfs /dev/loop0 mount
WFKnight 0:9b3d4731edbb 34
WFKnight 0:9b3d4731edbb 35 - ls mount
WFKnight 0:9b3d4731edbb 36 - mkdir mount/littlefs
WFKnight 0:9b3d4731edbb 37 - cp -r $(git ls-tree --name-only HEAD littlefs/) mount/littlefs
WFKnight 0:9b3d4731edbb 38 - cd mount/littlefs
WFKnight 0:9b3d4731edbb 39 - ls
WFKnight 0:9b3d4731edbb 40 - CFLAGS="-Wno-format" make -B test_dirs QUIET=1
WFKnight 0:9b3d4731edbb 41
WFKnight 0:9b3d4731edbb 42 install:
WFKnight 0:9b3d4731edbb 43 # Get arm-none-eabi-gcc
WFKnight 0:9b3d4731edbb 44 - sudo add-apt-repository -y ppa:terry.guo/gcc-arm-embedded
WFKnight 0:9b3d4731edbb 45 - sudo apt-get update -qq
WFKnight 0:9b3d4731edbb 46 - sudo apt-get install -qq gcc-arm-none-eabi --force-yes
WFKnight 0:9b3d4731edbb 47 # Get dependencies
WFKnight 0:9b3d4731edbb 48 - git clone https://github.com/armmbed/mbed-os.git
WFKnight 0:9b3d4731edbb 49 - git clone https://github.com/armmbed/spiflash-driver.git
WFKnight 0:9b3d4731edbb 50 # Install python dependencies
WFKnight 0:9b3d4731edbb 51 - pip install --user -r mbed-os/requirements.txt
WFKnight 0:9b3d4731edbb 52 # Install littlefs-fuse and dependencies
WFKnight 0:9b3d4731edbb 53 - sudo apt-get install libfuse-dev
WFKnight 0:9b3d4731edbb 54 - git clone https://github.com/geky/littlefs-fuse
WFKnight 0:9b3d4731edbb 55 # Check versions
WFKnight 0:9b3d4731edbb 56 - fusermount -V
WFKnight 0:9b3d4731edbb 57 - arm-none-eabi-gcc --version
WFKnight 0:9b3d4731edbb 58 - python --version
WFKnight 0:9b3d4731edbb 59 - gcc --version
WFKnight 0:9b3d4731edbb 60
WFKnight 0:9b3d4731edbb 61 before_script:
WFKnight 0:9b3d4731edbb 62 # Patch littlefs-fuse
WFKnight 0:9b3d4731edbb 63 - rm -rf littlefs-fuse/littlefs/*
WFKnight 0:9b3d4731edbb 64 - cp -r $(git ls-tree --name-only HEAD littlefs/) littlefs-fuse/littlefs
WFKnight 0:9b3d4731edbb 65 - echo '*' > littlefs-fuse/.mbedignore
WFKnight 0:9b3d4731edbb 66 # Create file-backed disk
WFKnight 0:9b3d4731edbb 67 - mkdir mount
WFKnight 0:9b3d4731edbb 68 - sudo chmod a+rw /dev/loop0
WFKnight 0:9b3d4731edbb 69 - dd if=/dev/zero bs=512 count=2048 of=disk
WFKnight 0:9b3d4731edbb 70 - losetup /dev/loop0 disk