File: configure

package info (click to toggle)
gap-browse 1.8.21%2Bdfsg-1
  • links: PTS
  • area: main
  • in suites: forky, sid, trixie
  • size: 8,296 kB
  • sloc: xml: 1,961; ansic: 1,342; makefile: 163; javascript: 155; sh: 20
file content (28 lines) | stat: -rwxr-xr-x 689 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
#!/bin/sh
# (C) Frank Lübeck     2018
# configure script for Browse with GAP > 4.11.0 

# some tools on OS X made locale related problems, so:
export LANG=C
export LC_ALL=C

# GAP path
GAPPATH=../..
while test "$#" -ge 1 ; do
  option="$1" ; shift
  case "$option" in
    --with-gaproot=*) GAPPATH=${option#--with-gaproot=}; ;;
    -*)               echo "ERROR: unsupported argument $option" ; exit 1;;
    *)                GAPPATH="$option" ;;
  esac
done
echo "Using $GAPPATH as GAP build directory."

# Reading variables from GAP build directory
. "$GAPPATH/sysinfo.gap"

echo "Using bin path: $GAParch"

# Creating Makefile
sed -e "s|@GAPPATH@|$GAPPATH|g" < Makefile.in > Makefile