[khome.git] / deps / gambit / clone_build_install

#! /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
Commit	Line	Data
acadce2e SK	1	#! /bin/sh
	2
	3	mkdir -p data
	4	cd data
	5	git clone https://github.com/feeley/gambit.git
	6	cd gambit
	7	./configure # add options as required, for example CC=gcc-7
	8	make
	9	make check
	10	make modules # compile the builtin modules (optional)
	11	make install