From acadce2e402d9b8dafe1c430136f4910ad47ba31 Mon Sep 17 00:00:00 2001 From: Siraaj Khandkar Date: Sat, 14 Nov 2020 20:13:10 -0500 Subject: [PATCH] Add dep recipe for Gambit Scheme --- deps/gambit/Makefile | 3 +++ deps/gambit/clone_build_install | 11 +++++++++++ home/lib/login_variables.sh | 3 +++ 3 files changed, 17 insertions(+) create mode 100644 deps/gambit/Makefile create mode 100755 deps/gambit/clone_build_install 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" -- 2.20.1