core/bootstrap-windows.sh at master · hexhex/core · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79

POTASSCO_REPOROOT=https://potassco.svn.sourceforge.net/svnroot/potassco/
TOP_SRCDIR=.

CLASPFNAME=clasp-3.1.4-source.tar.gz
if [ ! -e $CLASPFNAME ]; then
  echo "downloading $CLASPFNAME"
  wget http://downloads.sourceforge.net/project/potassco/clasp/3.1.4/$CLASPFNAME
fi

GRINGOFNAME=gringo-3.0.4-source.tar.gz
if [ ! -e $GRINGOFNAME ]; then
  echo "downloading $GRINGOFNAME"
  wget http://downloads.sourceforge.net/project/potassco/gringo/3.0.4/$GRINGOFNAME
fi

if test -e clasp; then
	if test -d clasp; then
		echo "clasp directory exists, assuming we have a configured clasp"
		echo "(remove the directory and restart make if this not the case)"
	else
		echo "clasp exists but is no directory!";
		exit -1;
	fi
else
	echo "unpacking clasp"
	tar xzf ${TOP_SRCDIR}/clasp-3.1.4-source.tar.gz
	mv clasp-3.1.4 clasp

	echo "configuring clasp"
	mkdir -p clasp/build/fpic
	pushd clasp/build
	ln -s fpic release
	popd
	(
		cd clasp
		./configure.sh --config=fpic CXX="$CXX -DNDEBUG -O3" CXXFLAGS=-fPIC ||
			{ echo "configuring clasp failed!"; exit -1; }
	)
	mv clasp $TOP_SRCDIR/buildclaspgringo/clasp
fi

if test -e gringo; then
	if test -d gringo; then
		echo "gringo directory exists, assuming we have a configured gringo"
		echo "(remove the directory and restart make if this not the case)"
	else
		echo "gringo exists but is no directory!";
		exit -1;
	fi
else
	echo "unpacking gringo"
	tar xzf ${TOP_SRCDIR}/gringo-3.0.4-source.tar.gz #--transform 's/gringo-3.0.4-source/gringo/'
	mv gringo-3.0.4-source gringo

	echo "patching gringo"
	patch -d gringo -p0 <$TOP_SRCDIR/buildclaspgringo/gringo.patch ||
		{ echo "gringo patching failed!"; exit -1; }
	patch -d gringo -p0 <$TOP_SRCDIR/buildclaspgringo/gringo-patch-cond.patch ||
		{ echo "gringo patching failed!"; exit -1; }
	patch -d gringo -p0 <$TOP_SRCDIR/buildclaspgringo/gringo-patch-domain-fwd-decl.patch ||
		{ echo "gringo patching failed!"; exit -1; }
	patch -d gringo -p0 <$TOP_SRCDIR/buildclaspgringo/gringo-patch-domain-fwd-decl-builtsource.patch ||
		{ echo "gringo patching failed!"; exit -1; }
	patch -d gringo -p0 <$TOP_SRCDIR/buildclaspgringo/gringo-patch-unpool-pred.patch ||
		{ echo "gringo patching failed!"; exit -1; }

# Edit: it seems that this patch is also necessary with gcc if boost version >= 1.49
#	echo "using clang: ${USING_CLANG}"
#	if test "xyes" == "x${USING_CLANG}"; then
#		echo "patching gringo (for clang)"
		patch -d gringo -p0 <$TOP_SRCDIR/buildclaspgringo/gringo-clang.patch ||
			{ echo "gringo patching failed!"; exit -1; }
#	fi

	mkdir -p gringo/build/release
	rm -rf $TOP_SRCDIR/buildclaspgringo/gringo
	mv gringo $TOP_SRCDIR/buildclaspgringo/gringo
fi