repo.or.cz
/
ppn.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
update isl for change in lexicographic optimization
[ppn.git]
/
autogen.sh
blob
a7de658094926947446c5d70233d8436337278d3
1
#!/bin/sh
2
libtoolize
-c
3
aclocal
-I
m4
4
autoheader
5
automake
-a -c --foreign
6
autoconf
7
if
test -f
barvinok
/
autogen.sh
;
then
8
(
cd
barvinok
;
.
/
autogen.sh
)
9
fi
10
if
test -f
isl
/
autogen.sh
;
then
11
(
cd
isl
;
.
/
autogen.sh
)
12
fi
13
if
test -f
pet
/
autogen.sh
;
then
14
(
cd
pet
;
.
/
autogen.sh
)
15
fi