Add dep recipe for Gambit Scheme
authorSiraaj Khandkar <siraaj@khandkar.net>
Sun, 15 Nov 2020 01:13:10 +0000 (20:13 -0500)
committerSiraaj Khandkar <siraaj@khandkar.net>
Sun, 15 Nov 2020 01:13:10 +0000 (20:13 -0500)
deps/gambit/Makefile [new file with mode: 0644]
deps/gambit/clone_build_install [new file with mode: 0755]
home/lib/login_variables.sh

diff --git a/deps/gambit/Makefile b/deps/gambit/Makefile
new file mode 100644 (file)
index 0000000..5fea2bb
--- /dev/null
@@ -0,0 +1,3 @@
+.PHONY: all
+all:
+       ./clone_build_install
diff --git a/deps/gambit/clone_build_install b/deps/gambit/clone_build_install
new file mode 100755 (executable)
index 0000000..a68bd14
--- /dev/null
@@ -0,0 +1,11 @@
+#! /bin/sh
+
+mkdir -p data
+cd data
+git clone https://github.com/feeley/gambit.git
+cd gambit
+./configure        # add options as required, for example CC=gcc-7
+make
+make check
+make modules       # compile the builtin modules (optional)
+make install
index 2c587a2..d0e19ad 100644 (file)
@@ -29,5 +29,8 @@ export PATH=$PATH:$HOME/.cargo/bin
 # WARN: ensure the version is correct
 export PATH=$PATH:$HOME/.racket/7.8/bin
 
+# Gambit Scheme
+export PATH=$PATH:/usr/local/Gambit/bin
+
 # DPI
 . "$HOME/lib/login_variables_dpi.sh"
This page took 0.025495 seconds and 4 git commands to generate.