view etc/setup_as_dml.sh @ 90:8f8e3d39ea31 dml-dockerised

make all
author wolffd <wolffd.mail@googlemail.com>
date Tue, 05 Jun 2018 16:57:34 +0100
parents 90f57b07f941
children 4398802c2885
line wrap: on
line source
#!/bin/bash

# ------------------ CONFIG ----------------

INSTALL_SWI=yes
INSTALL_SWI_PACKS=yes
SS_USER=$DML_WGET_USER
SS_PASS=$DML_WGET_PASS
MAKE_HUMDRUM=yes

if [ -x matlab ]; then
	HAVE_MATLAB=yes
else
	HAVE_MATLAB=no
fi

# ------------------ END OF CONFIG ---------

function install_swi {
	# cd ~/downloads
	# wget http://www.swi-prolog.org/download/devel/src/pl-7.1.29.tar.gz
	# cd ~/src
	# tar xzf pl-7.1.29.tar.gz
	unpack_into ~/src http://www.swi-prolog.org/download/devel/src/pl-7.1.30.tar.gz
	cd ~/src/pl-7.1.30
	cp build.templ build
	patch build ~/etc/swipl-build.patch
	./build
}

function unpack_into {
	arname=$(basename "$2")
	wget_into ~/downloads "$2" && cd "$1" && tar xzf ~/downloads/$arname
}

function cp_into {
	name=$(basename "$2")
	mkdir -p "$1"
	wget_into ~/downloads "$2" && cp -p "$name" "$1"
}

function wget_into {
	name=$(basename "$2")
	mkdir -p "$1"
	cd "$1"
	if [ -a "$name" ]; then
		echo "Aready existing in $1: $2."
	else
#		echo "Please download from $2 and put it in $1."
#		exit 1
		echo "I am going to download into $1 from $2."
#		echo "You may be asked for a password."
#		wget --user=$DML_WGET_USER --password=$DML_WGET_PASS "$2"
		wget "$2"
	fi
}

function get_repo_into {
	dest="$1"
	repo="$3"
	cmd=$2
	shift 3

	name=$(basename "$repo")
	mkdir -p "$dest"
	cd "$dest"
	if [ -d $name ]; then
		echo "$name repository alread present in $dest"
	else
		$cmd clone "$repo" $* 
	fi
}

if [ $INSTALL_SWI == yes ]; then
	install_swi
fi

if [ $INSTALL_SWI_PACKS == yes ]; then
	swipl -g 'maplist(pack_install,[lambda,prosqlite,memo,callgraph,swipe,sparkle,musicbrainz,plsmf,plumdrum,sindice]), halt'
	if [ $HAVE_MATLAB == yes ]; then
		swipl -g 'pack_install(plml), halt'
	fi
fi

# DOWNLOADS FROM REPOs
get_repo_into ~/src/github git https://github.com/samer--/ClioPatria
cd ~/src/github/ClioPatria && git checkout dml
get_repo_into ~/src/github git https://github.com/humdrum-tools/humdrum-tools --recursive
if [ $MAKE_HUMDRUM == yes ]; then
	cd ~/src/github/humdrum-tools && make
fi

# get_repo_into ~/src/hg hg https://code.soundsoftware.ac.uk/hg/dml-cliopatria # private repo 
get_repo_into ~/src/hg hg https://code.soundsoftware.ac.uk/hg/dml-open-cliopatria # public corresponding
get_repo_into ~/src/hg hg https://code.soundsoftware.ac.uk/hg/ishara # public repo
get_repo_into ~/src/hg hg https://code.soundsoftware.ac.uk/hg/kernscores-utf8 # public repo
# get_repo_into ~/src/hg hg https://code.soundsoftware.ac.uk/hg/dml-datasets # private data

# cp_into ~/lib/beets https://code.soundsoftware.ac.uk/attachments/download/1284/music-ro.db

mkdir -p ~/var/dml/memo_db
cd ~/var/dml && tar xzf var-dml-cpack.tar.gz