Mirrors/libhermit
1
0
Fork 0
mirror of https://github.com/hermitcore/libhermit.git synced 2025-03-09 00:00:03 +01:00
Code Issues Releases Wiki Activity
1566 commits 6 branches 0 tags 227 MiB
Commit graph

113 commits

Author SHA1 Message Date
Stefan Lankes
5991baa37f remove flag "depth 1" because our used branch isn't the latest master branch 2016-04-09 23:53:36 +02:00
Stefan Lankes
ad74181c80 reduce the depth of submodule update to decrease the runtime 2016-04-09 23:37:57 +02:00
Stefan Lankes
107054b0ad Use -y with apt-get to assume yes as the answer to each apt-get prompt. 2016-04-09 16:47:41 +02:00
Stefan Lankes
226783bb2d switch to Trusty Beta (aka Ubuntu 14.04) as distro for TravisCI 2016-04-09 16:17:53 +02:00
Stefan Lankes
aa1a42b7bd set LD_LIBRARY_PATH to find libisl.so 2016-04-07 20:47:27 +02:00
Stefan Lankes
42ae868166 remove typo 2016-04-07 19:04:55 +02:00
Stefan Lankes
a440085f26 switch to ISL 0.12.2 2016-04-07 18:50:03 +02:00
Stefan Lankes
f13c40a14c install ISL library from source 2016-04-07 18:38:36 +02:00
Stefan Lankes
d9fa3680a6 add missing ISL library to build the system on TravisCI 2016-04-06 09:48:00 +02:00
Stefan Lankes
d7b279af4a add missing libraries to build gcc 2016-04-05 23:54:48 +02:00
Stefan Lankes
0c091a9e73 add missing texinfo package 2016-04-05 20:45:06 +02:00
Stefan Lankes
2f6c64c5ac replace via sed SSH URLs by public URLs 
=> no ssh key is required
 2016-04-05 19:06:44 +02:00
Stefan Lankes
ed2136f1e8 add configuration file for TravisCI 2016-04-05 14:41:06 +02:00