Merge pull request #41 from mikey/travis

Allow a full make check on Travis
pull/43/head
Anton Blanchard 5 years ago committed by GitHub
commit ff1455dea6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -5,4 +5,4 @@ services: docker


before_install: docker pull ghdl/vunit:llvm before_install: docker pull ghdl/vunit:llvm


script: docker run --rm -t -v `pwd`:/build -w /build ghdl/vunit:llvm bash -c "apt update && apt install -y python3-pexpect && make GNATMAKE='gnatmake -j'$(nproc) && make -j$(nproc) check_light" script: docker run --rm -t -v `pwd`:/build -w /build ghdl/vunit:llvm bash -c "apt update && apt install -y python3-pexpect && make GNATMAKE='gnatmake -j'$(nproc) && if [ -n \"$TRAVIS_FULL_CHECK\" ] ; then make -j$(nproc) check; else make -j$(nproc) check_light ; fi"

Loading…
Cancel
Save