changeset 7814 | 0ef925f9e813 |
parent 7813 | d18938ebcb0d |
child 7815 | bfb6aad28778 |
7813:d18938ebcb0d | 7814:0ef925f9e813 |
---|---|
1 prefix=/usr |
|
2 exec_prefix=${prefix} |
|
3 bindir=/usr/bin |
|
4 libdir=LIBDIR |
|
5 datarootdir=${prefix}/share |
|
6 datadir=${datarootdir} |
|
7 sysconfdir=${prefix}/etc |
|
8 includedir=${prefix}/include |
|
9 package=isl |
|
10 suffix= |
|
11 |
|
12 Name: isl |
|
13 Description: The Integer Set Library |
|
14 Version: 0.12.2 |
|
15 Requires: |
|
16 Libs: -lisl -lgmp |
|
17 Cflags: -I${includedir} |
|
18 |