GitHub - sfrehse/dependencies

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 92 Commits
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
aiger-20071012		aiger-20071012
boolector-1.4.1		boolector-1.4.1
boolector-1.4		boolector-1.4
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
cleaneling-00a		cleaneling-00a
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
cppunit-1.12.1		cppunit-1.12.1
cudd-2.4.2		cudd-2.4.2
cudd-2.5.0		cudd-2.5.0
gmp-5.0.5		gmp-5.0.5
llvm+clang-3.0		llvm+clang-3.0
llvm+clang-3.1		llvm+clang-3.1
minisat-2.2.0		minisat-2.2.0
minisat-git		minisat-git
ninja-git		ninja-git
picosat-936		picosat-936
stp-svn		stp-svn
swig-2.0.2		swig-2.0.2
tcl-8.5.11		tcl-8.5.11
zchaff-2007.3.12		zchaff-2007.3.12
.gitignore		.gitignore
README		README
build		build
common.sh		common.sh
setup_cmake_src		setup_cmake_src

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.