Add libisl.
This commit is contained in:
parent
3f20e4581c
commit
9e8ab0db6f
|
@ -0,0 +1 @@
|
||||||
|
#!/bin/sh -e
|
|
@ -0,0 +1 @@
|
||||||
|
6812a560f3752dc2e0cc08bfc3c860044c57f4a2aeb8e387c0568246171d1794
|
|
@ -0,0 +1,3 @@
|
||||||
|
autoconf make
|
||||||
|
automake make
|
||||||
|
libgmp
|
|
@ -0,0 +1 @@
|
||||||
|
https://repo.or.cz/isl.git/snapshot/73ab37ba8bb6a21b9672e29073ece533362e685d.tar.gz
|
|
@ -0,0 +1 @@
|
||||||
|
1 1
|
Loading…
Reference in New Issue