diff --git a/.travis.yml b/.travis.yml index 90387f122..0d84a836b 100644 --- a/.travis.yml +++ b/.travis.yml @@ -8,8 +8,8 @@ before_install: - echo "deb https://dl.bintray.com/rwth-os/hermitcore vivid main" | sudo tee -a /etc/apt/sources.list - sudo apt-get -qq update - sudo apt-get install -y curl qemu-system-x86 nasm texinfo libmpfr-dev libmpc-dev libgmp-dev libisl-dev flex bison packaging-dev - - sudo apt-get install -y --force-yes binutils-hermit gcc-hermit-bootstrap - #- sudo apt-get install -y --force-yes binutils-hermit libhermit newlib-hermit pthread-embedded-hermit gcc-hermit + #- sudo apt-get install -y --force-yes binutils-hermit gcc-hermit-bootstrap + - sudo apt-get install -y --force-yes binutils-hermit libhermit newlib-hermit pthread-embedded-hermit gcc-hermit - git submodule update --init lwip usr/libomp script: diff --git a/debian/rules b/debian/rules index 42fb99c0f..d2e890c83 100755 --- a/debian/rules +++ b/debian/rules @@ -18,14 +18,15 @@ override_dh_auto_build: make arch/x86/kernel/boot.h dh_auto_build - #make libs + make libs override_dh_auto_test: @echo "tests are disabled" override_dh_auto_install: - make install_libhermit - + #make install_libhermit + make install + # delete unneded files that would cause conflicts rm -rf `-pwd`/debian/libhermit/opt/hermit/share/info/dir