File: spkg-install

package info (click to toggle)
sagemath-database-polytopes 20120220%2Bdfsg-2
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 408 kB
  • sloc: sh: 8; makefile: 4
file content (11 lines) | stat: -rwxr-xr-x 251 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
 
#!/usr/bin/env bash

if [ "$SAGE_SHARE" = "" ]; then
   echo "SAGE_SHARE undefined ... exiting";
   echo "Maybe run 'sage -sh'?"
   exit 1
fi

POLYTOPES_DIR="$SAGE_SHARE"/reflexive_polytopes
mkdir -p "$POLYTOPES_DIR"
cp -r -p src/*  "$POLYTOPES_DIR"/