From: Siraaj Khandkar <siraaj@khandkar.net>
Date: Sun, 15 Nov 2020 01:13:10 +0000 (-0500)
Subject: Add dep recipe for Gambit Scheme
X-Git-Url: https://git.xandkar.net/?a=commitdiff_plain;h=acadce2e402d9b8dafe1c430136f4910ad47ba31;p=khome.git

Add dep recipe for Gambit Scheme
---

diff --git a/deps/gambit/Makefile b/deps/gambit/Makefile
new file mode 100644
index 0000000..5fea2bb
--- /dev/null
+++ b/deps/gambit/Makefile
@@ -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
index 0000000..a68bd14
--- /dev/null
+++ b/deps/gambit/clone_build_install
@@ -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
diff --git a/home/lib/login_variables.sh b/home/lib/login_variables.sh
index 2c587a2..d0e19ad 100644
--- a/home/lib/login_variables.sh
+++ b/home/lib/login_variables.sh
@@ -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"