GitHub - agra-uni-bremen/dependencies

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 240 Commits
Python-2.7.10		Python-2.7.10
Python-3.3.6		Python-3.3.6
SWORD-1.1		SWORD-1.1
Z3-2.15		Z3-2.15
Z3-2.18		Z3-2.18
Z3-2.19		Z3-2.19
Z3-3.2		Z3-3.2
Z3-4.0		Z3-4.0
Z3-4.1		Z3-4.1
Z3-4.3.1-unstable-cirkit		Z3-4.3.1-unstable-cirkit
Z3-4.3.1		Z3-4.3.1
Z3-4.4.1		Z3-4.4.1
Z3-4.5.0-ubuntu-14.04-x64		Z3-4.5.0-ubuntu-14.04-x64
Z3-4.5.0-ubuntu-14.04-x86		Z3-4.5.0-ubuntu-14.04-x86
Z3-4.5.0		Z3-4.5.0
Z3-4.6.0		Z3-4.6.0
Z3-4.8.4		Z3-4.8.4
Z3-git		Z3-git
aiger-20071012		aiger-20071012
boolector-1.4.1		boolector-1.4.1
boolector-1.4		boolector-1.4
boolector-1.5.115		boolector-1.5.115
boolector-1.5.116		boolector-1.5.116
boolector-1.5.118		boolector-1.5.118
boolector-2.0.6		boolector-2.0.6
boolector-2.2.0		boolector-2.2.0
boolector-2.3.1		boolector-2.3.1
boolector-2.4.1		boolector-2.4.1
boolector-3.0.0		boolector-3.0.0
boolector-git		boolector-git
boost-1_46_0		boost-1_46_0
boost-1_46_1		boost-1_46_1
boost-1_47_0		boost-1_47_0
boost-1_48_0-log		boost-1_48_0-log
boost-1_48_0		boost-1_48_0
boost-1_49_0		boost-1_49_0
boost-1_50_0-log		boost-1_50_0-log
boost-1_50_0		boost-1_50_0
boost-1_51_0		boost-1_51_0
boost-1_52_0		boost-1_52_0
boost-1_53_0		boost-1_53_0
boost-1_54_0		boost-1_54_0
boost-1_55_0-fs		boost-1_55_0-fs
boost-1_55_0		boost-1_55_0
boost-1_56_0		boost-1_56_0
boost-1_57_0		boost-1_57_0
boost-1_60_0-fs		boost-1_60_0-fs
cmake-2.8.11.2		cmake-2.8.11.2
cmake-2.8.4		cmake-2.8.4
cmake-2.8.5		cmake-2.8.5
cmake-2.8.7		cmake-2.8.7
cmake-2.8.8		cmake-2.8.8
cmake-2.8.9		cmake-2.8.9
cmake-3.0.1		cmake-3.0.1
cmake-3.1.3		cmake-3.1.3
cmake-3.2.1		cmake-3.2.1
cmake-3.2.2		cmake-3.2.2
cryptominisat-git		cryptominisat-git
cudd-2.4.2-git		cudd-2.4.2-git
cudd-2.4.2		cudd-2.4.2
cudd-2.5.0		cudd-2.5.0
cudd-3.0.0		cudd-3.0.0
cvc4-1.5		cvc4-1.5
cvc4-1.5pre-smtcomp2016		cvc4-1.5pre-smtcomp2016
cvc4-1.6		cvc4-1.6
cvc4-smtcomp2015-stable		cvc4-smtcomp2015-stable
cvc4-unstable		cvc4-unstable
gcc-4.6.4		gcc-4.6.4
gcc-4.8.1		gcc-4.8.1
gcc-4.9.2		gcc-4.9.2
gcc-5.1.0		gcc-5.1.0
git-2.1.0		git-2.1.0
glog-git-0.3.3		glog-git-0.3.3
gmp-5.0.5		gmp-5.0.5
libantlr3c-3.4		libantlr3c-3.4
lingeling-ayv-86bf266-140429		lingeling-ayv-86bf266-140429
lingeling-bal-2293bef-151109		lingeling-bal-2293bef-151109
lingeling-bal-2293bef-151129		lingeling-bal-2293bef-151129
lingeling-bbc-9230380-161217		lingeling-bbc-9230380-161217
llvm+clang-3.0		llvm+clang-3.0
llvm+clang-3.1		llvm+clang-3.1
llvm+clang-3.2		llvm+clang-3.2
llvm+clang-3.3		llvm+clang-3.3
m4ri-20140914		m4ri-20140914
minisat-2.2.0		minisat-2.2.0
minisat-git		minisat-git
mpc-0.9		mpc-0.9
mpfr-3.1.2		mpfr-3.1.2
ninja-git		ninja-git
ninja-release		ninja-release
picosat-936		picosat-936
picosat-965		picosat-965
puma-2.23		puma-2.23
runlim-1.7		runlim-1.7
stp-2.3.3-basic		stp-2.3.3-basic
stp-git-basic		stp-git-basic
stp-git		stp-git
swig-2.0.2		swig-2.0.2
systemc-2.3.0		systemc-2.3.0
systemc-2.3.1		systemc-2.3.1

Repository files navigation

a set of scripts to create and/or build various external libraries.

call 
  ./build /some/target/folder "package-version" "package-version" ...
to install the packages to that directory or call setup_cmake_src with 
the same parameters to setup directories suitable for inclusion in cmake
projects.