From 0d7eadaaedb0e9b485242975263b8f0480fc2f39 Mon Sep 17 00:00:00 2001
From: fclaude <fclaude@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Date: Tue, 24 Mar 2009 22:25:26 +0000
Subject: [PATCH] changes

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@291 3cdefd35-fc62-479d-8e8d-bae585ffb9ca
---
 Makefile   |  2 +-
 compile.sh | 15 +++++++++++++++
 2 files changed, 16 insertions(+), 1 deletion(-)
 create mode 100755 compile.sh

diff --git a/Makefile b/Makefile
index d31aa75..e6ce245 100644
--- a/Makefile
+++ b/Makefile
@@ -48,7 +48,7 @@ OCAMLOPT = ocamlopt -g -cc "$(CXX)"
 SYNT_DEBUG = -ppopt -DDEBUG
 else
 CXX = g++  
-OCAMLOPT = ocamlopt -nodynlink -cc "$(CXX)" -ccopt -O3 -ccopt -std=c++0x -noassert -inline $(INLINE)
+OCAMLOPT = ocamlopt -cc "$(CXX)" -ccopt -O3 -ccopt -std=c++0x -noassert -inline $(INLINE)
 endif
 ifeq ($(PROFILE), true)
 SYNT_PROF = $(SYNT_DEBUG) -ppopt -DPROFILE
diff --git a/compile.sh b/compile.sh
new file mode 100755
index 0000000..2dda53b
--- /dev/null
+++ b/compile.sh
@@ -0,0 +1,15 @@
+#!/bin/bash
+
+cd XMLTree/libcds
+make clean
+make
+cd ../TextCollection
+make clean
+make
+cd ..
+make clean
+make
+cd ..
+make clean
+make
+make timeXMLTree
-- 
2.17.1