Skip to content
This repository was archived by the owner on Jan 30, 2023. It is now read-only.

Commit cede25d

Browse files
jdemeyerembray
jdemeyer
authored and
embray
committed
Unify install scripts of PARI databases
1 parent 0c84a71 commit cede25d

File tree

3 files changed

+3
-10
lines changed

3 files changed

+3
-10
lines changed

‎build/pkgs/database_pari/spkg-install‎

Lines changed: 1 addition & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1 @@
1-
if [ -z "$GP_DATA_DIR" ]; then
2-
echo >&2 "GP_DATA_DIR undefined ... exiting"
3-
echo >&2 "Maybe run 'sage --sh'?"
4-
exit 1
5-
fi
6-
7-
cd src
8-
cp -pR elldata galpol nftables seadata "$GP_DATA_DIR"
1+
sdh_install src/* "$GP_DATA_DIR"

‎build/pkgs/pari_galdata/spkg-install‎

Lines changed: 0 additions & 1 deletion
This file was deleted.

‎build/pkgs/pari_galdata/spkg-install‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
../database_pari/spkg-install

‎build/pkgs/pari_seadata_small/spkg-install‎

Lines changed: 0 additions & 1 deletion
This file was deleted.

‎build/pkgs/pari_seadata_small/spkg-install‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
../database_pari/spkg-install

0 commit comments

Comments
 (0)