repo.or.cz
/
gambit-c.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Improve Gambit REPL (toolbar is semi transparent and the alpha can be set with set...
[gambit-c.git]
/
misc
/
conf_dj
blob
8ab4abf7d2924e958d549b392c36a7f1df043cdc
1
MAKEFILES="makefile lib/makefile gsi/makefile gsc/makefile check/makefile doc/makefile misc/makefile"
2
3
rm -f configur
4
echo > configur
5
rm -f config.status
6
echo > config.status
7
8
for mf in $MAKEFILES
9
do
10
if [ -n "${CPLUSPLUS-}" ]; then
11
sed -f misc/conf_dpp.sed $mf.in > $mf
12
else
13
sed -f misc/conf_dj.sed $mf.in > $mf
14
fi
15
done