File: configure

package info (click to toggle)
guava 3.6-2
  • links: PTS
  • area: main
  • in suites: lenny, squeeze, wheezy
  • size: 11,788 kB
  • ctags: 2,359
  • sloc: ansic: 20,846; xml: 10,043; sh: 2,855; makefile: 388
file content (11 lines) | stat: -rwxr-xr-x 297 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
 
#!/bin/sh
# usage: configure gappath
# this script creates a `Makefile' from `Makefile.in' 
rm -f Makefile sedfile
cat $1/sysinfo.gap > Makefile
echo "echo s/@GAPARCH@/\$GAParch/g >sedfile" >> Makefile
chmod +x Makefile
./Makefile
rm -f Makefile
sed -f sedfile Makefile.in >Makefile
rm -f sedfile