| 1 | #!/usr/bin/env sh |
|---|
| 2 | |
|---|
| 3 | die () { |
|---|
| 4 | echo "$@" 1>&2 |
|---|
| 5 | exit 1 |
|---|
| 6 | } |
|---|
| 7 | |
|---|
| 8 | [ -n "$SAGE_LOCAL" ] || die 'Error: $SAGE_LOCAL not set. Source sage-env or run this script from `sage -sh`.' |
|---|
| 9 | |
|---|
| 10 | cd src |
|---|
| 11 | patch -p1 < ../patches/00-remove-static-option.patch || die "Error: Couldn't apply patch." |
|---|
| 12 | patch -p1 < ../patches/01-adjust-size-of-input-matrix-fix.patch || die "Error: Couldn't apply patch." |
|---|
| 13 | |
|---|
| 14 | export CXXFLAGS="-I$SAGE_LOCAL/include $CXXFLAGS" |
|---|
| 15 | cd source |
|---|
| 16 | $MAKE || die "Error building Normaliz." |
|---|
| 17 | |
|---|
| 18 | cp -pf normaliz "$SAGE_LOCAL/bin/" || die "Error installing Normaliz." |
|---|
| 19 | |
|---|
| 20 | cd ../Singular |
|---|
| 21 | cp -pf normaliz.lib "$SAGE_LOCAL/share/singular/" || die "Error installing normaliz.lib for Singular." |
|---|
| 22 | |
|---|
