From 6c96a8e35b52b14b8fc03ed319f39d634ef098fc Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Wed, 23 Nov 2016 18:07:15 -0600
Subject: [PATCH] include CLP(QR)

---
 Packages.cmake                |  2 ++
 packages/clpqr/CMakeLists.txt | 27 +++++++++++++++++++++++++++
 2 files changed, 29 insertions(+)
 create mode 100644 packages/clpqr/CMakeLists.txt

diff --git a/Packages.cmake b/Packages.cmake
index 97b5c7ce8..9cb5b6a14 100644
--- a/Packages.cmake
+++ b/Packages.cmake
@@ -68,6 +68,8 @@ add_subDIRECTORY (packages/ProbLog)
 
 add_subDIRECTORY (packages/swi-minisat2)
 
+add_subDIRECTORY (packages/clpqr)
+
 
 #todo: use cmake target builds
 # option (USE_MAXPERFORMANCE
diff --git a/packages/clpqr/CMakeLists.txt b/packages/clpqr/CMakeLists.txt
new file mode 100644
index 000000000..f040f695d
--- /dev/null
+++ b/packages/clpqr/CMakeLists.txt
@@ -0,0 +1,27 @@
+################################################################
+# SWI-Prolog CLPQR package
+# Author:    Jan Wielemaker. jan@swi.psy.uva.nl
+# Copyright: LGPL (see COPYING or www.gnu.org
+################################################################
+
+
+set (CLPRPRIV	clpr/bb_r.pl clpr/bv_r.pl 
+		clpr/fourmotz_r.pl clpr/ineq_r.pl 
+		clpr/itf_r.pl clpr/nf_r.pl 
+		clpr/store_r.pl )
+set(CLPQPRIV 	clpq/bb_q.pl clpq/bv_q.pl 
+		clpq/fourmotz_q.pl clpq/ineq_q.pl 
+		clpq/itf_q.pl clpq/nf_q.pl 
+		clpq/store_q.pl)
+set (CLPQRPRIV	clpqr/class.pl clpqr/dump.pl 
+		clpqr/geler.pl clpqr/itf.pl
+		clpqr/ordering.pl 
+		clpqr/project.pl clpqr/redund.pl)
+set (LIBPL	clpr.pl clpq.pl ${CLPRPRIV} ${CLPQPRIV} ${CLPQRPRIV}  )
+
+install ( FILES	${LIBPL} DESTINATION ${libpl} )
+
+#		$(PL) -q -f $(srcdir)/clpr_test.pl -g test,halt -t 'halt(1)'
+
+
+