From 997a0b989544905ebaf2c1c798525bdc0799ca38 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Mon, 22 Aug 2016 14:06:49 -0500
Subject: [PATCH 01/13] generated

---
 packages/python/setup.py | 58 ----------------------------------------
 1 file changed, 58 deletions(-)
 delete mode 100644 packages/python/setup.py

diff --git a/packages/python/setup.py b/packages/python/setup.py
deleted file mode 100644
index a372f1697..000000000
--- a/packages/python/setup.py
+++ /dev/null
@@ -1,58 +0,0 @@
-from distutils.command.install import install
-from distutils.core import setup
-from distutils import log
-import json
-import sys
-import os
-
-PY3 = sys.version_info[0] >= 3
-
-kernel_json = {
-    "argv": [sys.executable,
-	     "-m", "yap_kernel",
-	     "-f", "{connection_file}"],
-    "display_name": " YAP-6.3" ,
-    "language": "prolog",
-    "name": "yap_kernel",
-}
-
-class install_with_kernelspec(install):
-    def run(self):
-        install.run(self)
-        from jupyter_client.kernelspec import install_kernel_spec
-        from IPython.utils.tempdir import TemporaryDirectory
-        with TemporaryDirectory() as td:
-            os.chmod(td, 0o755) # Starts off as 700, not user readable
-            with open(os.path.join(td, 'kernel.json'), 'w') as f:
-                json.dump(kernel_json, f, sort_keys=True)
-            log.info('Installing kernel spec')
-            try:
-                install_kernel_spec(td, 'yap_kernel', user=self.user,
-                                    replace=True)
-            except:
-                install_kernel_spec(td, 'yap_kernel', user=not self.user,
-                                    replace=True)
-
-svem_flag = '--single-version-externally-managed'
-if svem_flag in sys.argv:
-    # Die, setuptools, die.
-    sys.argv.remove(svem_flag)
-
-setup(name='yap_kernel',
-      version='0.0.1',
-      description='A simple YAP kernel for Jupyter/IPython',
-      long_description="A simple YAP kernel for Jupyter/IPython, based on MetaKernel",
-      url="https://github.com/vscosta/yap-6.3",
-      author='Vitor Santos Costa, based on the metakernel from Douglas Blank',
-      author_email='vsc@dcc.fc.up.pt',
-      py_modules=['yap_kernel'],
-      install_requires=["metakernel","yap"],
-      cmdclass={'install': install_with_kernelspec},
-      classifiers = [
-          'Framework :: IPython',
-          'License :: OSI Approved :: BSD License',
-          'Programming Language :: YAP :: 6.3',
-          'Programming Language :: Python :: 3',
-          'Topic :: System :: Shells',
-      ]
-)

From a675f6f49e541dc832f071766b823a24a66febb3 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Mon, 22 Aug 2016 17:01:31 -0500
Subject: [PATCH 02/13] chars

---
 C/text.c                      |  5 +++++
 library/dialect/swi/fli/swi.c | 12 ++++++++++--
 2 files changed, 15 insertions(+), 2 deletions(-)

diff --git a/C/text.c b/C/text.c
index e80f78699..da87c8382 100644
--- a/C/text.c
+++ b/C/text.c
@@ -338,6 +338,11 @@ unsigned char *Yap_readText(seq_tv_t *inp, size_t *lengp) {
             return latin2utf8(inp, lengp);
         }
     }
+     if (IsStringTerm(inp->val.t) && inp->type & YAP_STRING_STRING) {
+        // this is a term, extract to a buffer, and representation is wide
+        //Yap_DebugPlWriteln(inp->val.t);
+       return UStringOfTerm(inp->val.t);
+      }
     if (((inp->type & (YAP_STRING_CODES | YAP_STRING_ATOMS)) ==
          (YAP_STRING_CODES | YAP_STRING_ATOMS)) && IsPairTerm(inp->val.t)) {
         //Yap_DebugPlWriteln(inp->val.t);
diff --git a/library/dialect/swi/fli/swi.c b/library/dialect/swi/fli/swi.c
index 6c7300700..6749d6e84 100755
--- a/library/dialect/swi/fli/swi.c
+++ b/library/dialect/swi/fli/swi.c
@@ -209,8 +209,12 @@ X_API int PL_get_nchars(term_t l, size_t *lengthp, char **s, unsigned flags) {
   } else {
     out.enc = ENC_ISO_LATIN1;
   }
-  if (flags & BUF_MALLOC)
+  if (flags & BUF_MALLOC) {
     out.type |= YAP_STRING_MALLOC;
+    out.val.c = *s;
+  } else {
+    out.val.c = NULL;
+  } 
   if (lengthp) {
     out.type |= YAP_STRING_NCHARS;
     out.max = *lengthp;
@@ -232,8 +236,12 @@ int PL_get_wchars(term_t l, size_t *lengthp, wchar_t **s, unsigned flags) {
   inp.val.t = Yap_GetFromSlot(l);
   inp.type = cvtFlags(flags);
   out.type = YAP_STRING_WCHARS;
-  if (flags & BUF_MALLOC)
+  if (flags & BUF_MALLOC) {
     out.type |= YAP_STRING_MALLOC;
+    out.val.w = *s;
+  } else {
+    out.val.w = NULL;
+  }
   if (lengthp) {
     out.type |= YAP_STRING_NCHARS;
     out.max = *lengthp;

From eea3da22f1870b78105c4b5be06b5742e7026bad Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Mon, 22 Aug 2016 17:02:40 -0500
Subject: [PATCH 03/13] fix python

---
 packages/python/pypreds.c | 2 +-
 packages/python/python.pl | 5 ++++-
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/packages/python/pypreds.c b/packages/python/pypreds.c
index 5cf7a872b..d73e45547 100644
--- a/packages/python/pypreds.c
+++ b/packages/python/pypreds.c
@@ -634,7 +634,7 @@ static int python_import(term_t mname, term_t mod) {
       s = stpcpy(s, sa);
       *s++ = '.';
     } else if (!PL_get_nchars(mname, &len, &s,
-                              CVT_ALL | CVT_EXCEPTION | ENC_ISO_UTF8)) {
+                              CVT_ALL | CVT_EXCEPTION | REP_UTF8)) {
       return false;
     } else {
       break;
diff --git a/packages/python/python.pl b/packages/python/python.pl
index a2603195c..ef032a7dc 100644
--- a/packages/python/python.pl
+++ b/packages/python/python.pl
@@ -110,7 +110,10 @@ Data types are
 :- use_module(library(charsio)).
 :- dynamic python_mref_cache/2, python_obj_cache/2.
 
-:= import( F ) :- python_import(F).
+:= (P1,P2) :- !,
+	:= P1,
+	:= P2.
+:= import( F ) :- !, python_import(F).
 := F :- python(F,_).
 
 V := F :- var(V), !, python(F,V0),

From fce05b85d3198bd0424ca6d53f94d0f1da0dc5d4 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Mon, 22 Aug 2016 17:03:41 -0500
Subject: [PATCH 04/13] plot demo

---
 packages/python/examples/plot.yap | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 packages/python/examples/plot.yap

diff --git a/packages/python/examples/plot.yap b/packages/python/examples/plot.yap
new file mode 100644
index 000000000..a7e5f8475
--- /dev/null
+++ b/packages/python/examples/plot.yap
@@ -0,0 +1,12 @@
+
+:- [library(python)].
+
+main :-
+	    Plt = matplotlib.pyplot,
+	:= import( Plt ),
+	:= (
+	    Plt.plot([1,2,3,4]),
+	    Plt.ylabel(`some numbers`),
+	    Plt.show()
+	   ).
+

From c4544f042dda99df8d20dcd4102312bbbda68470 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Mon, 22 Aug 2016 19:18:33 -0500
Subject: [PATCH 05/13] python

---
 cmake/python.cmake                  |  2 ++
 packages/python/CMakeLists.txt      | 12 ++++++------
 packages/python/python.pl           |  2 +-
 packages/swig/python/CMakeLists.txt | 16 ++++++++++++----
 packages/swig/python/setup.py.cmake | 20 ++++++++------------
 5 files changed, 29 insertions(+), 23 deletions(-)

diff --git a/cmake/python.cmake b/cmake/python.cmake
index 018fd332a..a5bef070e 100644
--- a/cmake/python.cmake
+++ b/cmake/python.cmake
@@ -16,6 +16,8 @@ foreach (i 3.6 3.5 3.4 3.3 3.2 3.1 3.0)
     break()
   endif()
 endforeach()
+else()
+set (Python_ADDITIONAL_VERSIONS 3.6 3.5 3.4 3.3 3.2 3.1 3.0 2.8 2.6 2.5)
 endif()
 
 find_package(PythonInterp)
diff --git a/packages/python/CMakeLists.txt b/packages/python/CMakeLists.txt
index c098363a2..a87d919be 100644
--- a/packages/python/CMakeLists.txt
+++ b/packages/python/CMakeLists.txt
@@ -8,14 +8,12 @@ include(FindPythonModule)
 set (PYTHON_SOURCES
   python.c pl2py.c pybips.c py2pl.c pl2pl.c pypreds.c )
 
-add_library (libpython SHARED ${PYTHON_SOURCES})
+add_library (YAPPython SHARED ${PYTHON_SOURCES})
 
 set (PYTHON_HEADERS
   python.h)
 
-configure_file ("setup.py.cmake"  "setup.py" )
-
-  target_link_libraries(libpython libYap ${PYTHON_LIBRARIES})
+  target_link_libraries(YAPPython libYap ${PYTHON_LIBRARIES})
 
 set(SETUP_PY "${CMAKE_CURRENT_BINARY_DIR}/setup.py")
 
@@ -23,11 +21,11 @@ add_custom_target ( YAPex ALL
         COMMAND ${PYTHON_EXECUTABLE} setup.py build -f
         DEPENDS yapex.py  )
 
-  set_target_properties (libpython PROPERTIES PREFIX "")
+#  set_target_properties (YAPPython PROPERTIES PREFIX "")
 
   include_directories (${PYTHON_INCLUDE_DIRS})
 
-  install(TARGETS  libpython
+  install(TARGETS  YAPPython
     LIBRARY DESTINATION ${dlls}
      ARCHIVE DESTINATION ${dlls}
    )
@@ -36,6 +34,8 @@ add_custom_target ( YAPex ALL
     DESTINATION ${libpl}
     )
 
+configure_file ("setup.py.cmake"  "setup.py" )
+
 install(CODE "execute_process(COMMAND ${PYTHON_EXECUTABLE} ${SETUP_PY} install -f
    WORKING_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR})")
 
diff --git a/packages/python/python.pl b/packages/python/python.pl
index ef032a7dc..2c5fadef4 100644
--- a/packages/python/python.pl
+++ b/packages/python/python.pl
@@ -429,4 +429,4 @@ python_assign_field(C1.E, Obj) :-
 	python_eval_term(C1, O1),
 	python_assign_field(O1, E, Obj ).
 
-:- initialization( use_foreign_library(foreign(libpython), init_python), now ).
+:- initialization( use_foreign_library(foreign(libpYAPPython), init_python), now ).
diff --git a/packages/swig/python/CMakeLists.txt b/packages/swig/python/CMakeLists.txt
index 202d1abc2..51ca9dbdf 100644
--- a/packages/swig/python/CMakeLists.txt
+++ b/packages/swig/python/CMakeLists.txt
@@ -16,6 +16,7 @@ if (PYTHONLIBS_FOUND)
 
   SET_SOURCE_FILES_PROPERTIES(../yap.i PROPERTIES CPLUSPLUS ON)
   SET_SOURCE_FILES_PROPERTIES(../yap.i PROPERTIES SWIG_FLAGS "-includeall")
+  SET_SOURCE_FILES_PROPERTIES(../yap.i PROPERTY SWIG_MODULE_NAME libPy2YAP )
 
   configure_file ("setup.py.cmake"  "setup.py" )
 
@@ -23,9 +24,11 @@ if (PYTHONLIBS_FOUND)
   #SET( CMAKE_SWIG_OUTDIR "yap" )
 
 
-  SWIG_ADD_MODULE(yap python ../yap.i)
-  SWIG_LINK_LIBRARIES(yap ${PYTHON_LIBRARIES} Yap++ libYap libpython)
-  set_target_properties ( ${SWIG_MODULE_yap_REAL_NAME} PROPERTIES NO_SONAME ON )
+  SWIG_ADD_MODULE(Py2YAP python ../yap.i )
+  SWIG_LINK_LIBRARIES(Py2YAP ${PYTHON_LIBRARIES} Yap++ libYap YAPPython)
+  set_target_properties ( ${SWIG_MODULE_Py2YAP_REAL_NAME} PROPERTIES
+  NO_SONAME ON )
+
 
   # execute_process ( COMMAND ${PYTHON_EXECUTABLE} -c "from distutils import sysconfig; print( sysconfig.get_python_lib( plat_specific=True, prefix='${CMAKE_INSTALL_PREFIX}' ) )"
   #                   OUTPUT_VARIABLE _ABS_PYTHON_MODULE_PATH
@@ -41,7 +44,7 @@ if (PYTHONLIBS_FOUND)
 
     add_custom_target ( py2yap ALL
       COMMAND ${PYTHON_EXECUTABLE} setup.py bdist
-      DEPENDS yap.py  )
+      DEPENDS yap.py ${SWIG_MODULE_Py2YAP_REAL_NAME}  )
 
     
     install(CODE "execute_process(COMMAND ${PYTHON_EXECUTABLE} ${SETUP_PY} install 
@@ -77,6 +80,11 @@ if (PYTHONLIBS_FOUND)
     endif ()
 
 
+  install(TARGETS ${SWIG_MODULE_Py2YAP_REAL_NAME} 
+    LIBRARY DESTINATION ${dlls}
+     ARCHIVE DESTINATION ${dlls}
+   )
+
   #   add_subdirectory ( examples )
 else ()
   message(STATUS "Not building python bindings")
diff --git a/packages/swig/python/setup.py.cmake b/packages/swig/python/setup.py.cmake
index ae9785268..4c3f9480b 100644
--- a/packages/swig/python/setup.py.cmake
+++ b/packages/swig/python/setup.py.cmake
@@ -3,27 +3,23 @@ from distutils.core import setup, Extension
 setup(
     name = "yap",
     version = "0.1",
-    ext_modules=[Extension('_yap', [ 'yapPYTHON_wrap.cxx',
-                                    '${CMAKE_SOURCE_DIR}/packages/python/pl2py.c',
-                                    '${CMAKE_SOURCE_DIR}/packages/python/python.c',
-                                     '${CMAKE_SOURCE_DIR}/packages/python/py2pl.c',
-                                    '${CMAKE_SOURCE_DIR}/packages/python/pl2pl.c',
-                                    '${CMAKE_SOURCE_DIR}/packages/python/pypreds.c',
-                                    '${CMAKE_SOURCE_DIR}/packages/python/pybips.c'],
+    ext_modules=[Extension('_yap', ['${CMAKE_SOURCE_DIR}/packages/swig/python/_yap.c'],    			 
                              define_macros = [('MAJOR_VERSION', '1'),
                                               ('MINOR_VERSION', '0'),
                             ('_YAP_NOT_INSTALLED_', '1')],
-                           swig_opts=['-py3', '-c++','-I${CMAKE_SOURCE_DIR}/CXX'],
-                             runtime_library_dirs=['/usr/local/lib'],
-                             library_dirs=['../../..','../../../CXX'],
-                             libraries=['Yap++','Yap'],
+                             runtime_library_dirs=['${dlls}'],
+                             library_dirs=['../../..','../../../CXX',
+					'../../python',
+					'.'],
+                             libraries=['Yap++','Yap','YAPPython'],
                              include_dirs=['../../..',
                                          '${CMAKE_SOURCE_DIR}/H',
                                          '${CMAKE_SOURCE_DIR}/H/generated',
                                          '${CMAKE_SOURCE_DIR}/OPTYap',
                                          '${CMAKE_SOURCE_DIR}/os',
                                          '${CMAKE_SOURCE_DIR}/include',
-                                         '${CMAKE_SOURCE_DIR}/CXX', '.']
+                                         '${CMAKE_SOURCE_DIR}/CXX', '.'],
+				extra_objects = ['${CMAKE_CURRENT_BINARY_DIR}/_Py2YAP${CMAKE_SHARED_MODULE_SUFFIX}' ]
     )],
 py_modules = ['yap']
 )

From 297aae9d361bf98516ee40f7ff63934ae5cfe2d2 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Mon, 22 Aug 2016 21:45:57 -0500
Subject: [PATCH 06/13] stub

---
 packages/swig/docs/icons/yap_16x16x32.png | Bin 755 -> 0 bytes
 packages/swig/python/CMakeLists.txt       |   2 +-
 packages/swig/python/_yap.c               |   3 +++
 3 files changed, 4 insertions(+), 1 deletion(-)
 delete mode 100755 packages/swig/docs/icons/yap_16x16x32.png
 create mode 100644 packages/swig/python/_yap.c

diff --git a/packages/swig/docs/icons/yap_16x16x32.png b/packages/swig/docs/icons/yap_16x16x32.png
deleted file mode 100755
index 17246436c983e26920db12694399861966739d38..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 755
zcmV<P0u23$P)<h;3K|Lk000e1NJLTq000mG000mO0ssI2kdbIM0008INkl<ZD9=TY
z%}*0S96*0FJG<L$X}45L5o)1Ov=JqS7(g0hBnXBWJQ*VgFT|t#51zdm&qlo%qcPE#
znD~7_6j3l~<f9aWEup3DmR)w+?#|A5F>rq`FAq&5uFjlv$a0z%cg2ZI^xJ|ERF%|-
z`SckNHTx&V9mBAHEFpiBR;@n5gQUmU2$DFtHRBWuwr(`EsycbuKXt`=_ue(F@YrZI
zpZ9dMH|kE?!d&!E24k<+dj7JWUJ3LjjRy~<a7$otn3uHB=$KO|*u|3d_EYuo6S2uh
z*EhK0#Tliu;S;4o-YypvQG|HBnqA1=zgrFq;`#2s+u5SFX1DoKxvVuBTmFO)I&mXI
zn)psuUtY2(NZoR*U#j$vHunt_-5rR;lQXxoyX%$t<yS)gUib`=I4eblU)cQ;HCf2M
z-kGZ`?nK8snp(THl8NY=8a?&qLs@4h%-A`_*+;3=9mE;J0!J7lFlzQlOLlftFLJK}
zbnff#)si~j7?(vNFv<X70N@BS&Rv%?mwIJsQR`Y>=ZPTN_^aDGWa)94$e1|{5C9MW
z;D9hNpP-p;fFMRO&V0_8A59~u<am48layGE0|o#9z!*W@!2^+vRBui41~rpUB{y%*
z_H|A4&dH~@z0D%4AJ71R8DN6y*Uo4hNrtXXpI)8pt-69oYE!2#uw+cMU5wBH4+I0J
zT-eHssX!(=M9#Lm`!%eXHlb|rnD}eW0L~B~epujKk%W6clj%KWs7H`IenL3|&~nE7
z_sXe&84{}wCkXy47ytys4A)Nuf1*_uT*&20s*ilxtjrZk;b@>?RS-ISAOOG^3dr=$
zYD5*&aaDi)r=>mV`i>}DMe6m`x>}^P0Ym`K0RV(p>>>bQ%q>UBmVKKQC2b^i%Q~XM
l%3fclByHD@)?N7^@ei0xRrClX!2$pP002ovPDHLkV1me&UEcrz

diff --git a/packages/swig/python/CMakeLists.txt b/packages/swig/python/CMakeLists.txt
index 51ca9dbdf..f60044b1a 100644
--- a/packages/swig/python/CMakeLists.txt
+++ b/packages/swig/python/CMakeLists.txt
@@ -12,7 +12,7 @@ if (PYTHONLIBS_FOUND)
 
   INCLUDE_DIRECTORIES( ${CMAKE_CURRENT_SOURCE_DIR} ${CMAKE_SOURCE_DIR}/CXX)
 
-  SET(CMAKE_SWIG_FLAGS "")
+  SET(CMAKE_SWIG_FLAGS "-py3")
 
   SET_SOURCE_FILES_PROPERTIES(../yap.i PROPERTIES CPLUSPLUS ON)
   SET_SOURCE_FILES_PROPERTIES(../yap.i PROPERTIES SWIG_FLAGS "-includeall")
diff --git a/packages/swig/python/_yap.c b/packages/swig/python/_yap.c
new file mode 100644
index 000000000..f7cd7426e
--- /dev/null
+++ b/packages/swig/python/_yap.c
@@ -0,0 +1,3 @@
+
+// make Python happy...
+

From 9ed1546ee641dbaf536f56c2360694f14ad425f7 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Tue, 23 Aug 2016 00:58:42 -0500
Subject: [PATCH 07/13] bad calls to text.c

---
 library/dialect/swi/fli/swi.c | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/library/dialect/swi/fli/swi.c b/library/dialect/swi/fli/swi.c
index 6749d6e84..53148e037 100755
--- a/library/dialect/swi/fli/swi.c
+++ b/library/dialect/swi/fli/swi.c
@@ -209,12 +209,6 @@ X_API int PL_get_nchars(term_t l, size_t *lengthp, char **s, unsigned flags) {
   } else {
     out.enc = ENC_ISO_LATIN1;
   }
-  if (flags & BUF_MALLOC) {
-    out.type |= YAP_STRING_MALLOC;
-    out.val.c = *s;
-  } else {
-    out.val.c = NULL;
-  } 
   if (lengthp) {
     out.type |= YAP_STRING_NCHARS;
     out.max = *lengthp;

From 23c1c2d4d74021100df16f8f5b1a8183a2bb2832 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Tue, 23 Aug 2016 01:00:14 -0500
Subject: [PATCH 08/13] python

---
 packages/python/pl2py.c             |  2 +-
 packages/python/pypreds.c           |  1 +
 packages/python/python.pl           |  2 +-
 packages/swig/python/CMakeLists.txt | 16 ++++++++--------
 packages/swig/python/setup.py.cmake | 19 ++++++++++++++-----
 5 files changed, 25 insertions(+), 15 deletions(-)

diff --git a/packages/python/pl2py.c b/packages/python/pl2py.c
index e21d531c2..bfada613b 100644
--- a/packages/python/pl2py.c
+++ b/packages/python/pl2py.c
@@ -73,7 +73,7 @@ PyObject *term_to_python(term_t t, bool eval) {
     return o;
   } break;
   case PL_STRING: {
-    char *s;
+    char *s = NULL;
     if (!PL_get_chars(t, &s,
                       REP_UTF8 | CVT_ATOM | CVT_STRING | BUF_DISCARDABLE)) {
       return NULL;
diff --git a/packages/python/pypreds.c b/packages/python/pypreds.c
index d73e45547..7a220f93c 100644
--- a/packages/python/pypreds.c
+++ b/packages/python/pypreds.c
@@ -633,6 +633,7 @@ static int python_import(term_t mname, term_t mod) {
         return false;
       s = stpcpy(s, sa);
       *s++ = '.';
+      s[0] = '\0';
     } else if (!PL_get_nchars(mname, &len, &s,
                               CVT_ALL | CVT_EXCEPTION | REP_UTF8)) {
       return false;
diff --git a/packages/python/python.pl b/packages/python/python.pl
index 2c5fadef4..97e350017 100644
--- a/packages/python/python.pl
+++ b/packages/python/python.pl
@@ -429,4 +429,4 @@ python_assign_field(C1.E, Obj) :-
 	python_eval_term(C1, O1),
 	python_assign_field(O1, E, Obj ).
 
-:- initialization( use_foreign_library(foreign(libpYAPPython), init_python), now ).
+:- initialization( use_foreign_library(foreign(libYAPPython), init_python), now ).
diff --git a/packages/swig/python/CMakeLists.txt b/packages/swig/python/CMakeLists.txt
index 51ca9dbdf..024828c88 100644
--- a/packages/swig/python/CMakeLists.txt
+++ b/packages/swig/python/CMakeLists.txt
@@ -24,10 +24,10 @@ if (PYTHONLIBS_FOUND)
   #SET( CMAKE_SWIG_OUTDIR "yap" )
 
 
-  SWIG_ADD_MODULE(Py2YAP python ../yap.i )
-  SWIG_LINK_LIBRARIES(Py2YAP ${PYTHON_LIBRARIES} Yap++ libYap YAPPython)
-  set_target_properties ( ${SWIG_MODULE_Py2YAP_REAL_NAME} PROPERTIES
-  NO_SONAME ON )
+#  SWIG_ADD_MODULE(Py2YAP python ../yap.i )
+#  SWIG_LINK_LIBRARIES(Py2YAP ${PYTHON_LIBRARIES} Yap++ libYap YAPPython)
+#  set_target_properties ( ${SWIG_MODULE_Py2YAP_REAL_NAME} PROPERTIES
+#  NO_SONAME ON )
 
 
   # execute_process ( COMMAND ${PYTHON_EXECUTABLE} -c "from distutils import sysconfig; print( sysconfig.get_python_lib( plat_specific=True, prefix='${CMAKE_INSTALL_PREFIX}' ) )"
@@ -36,15 +36,15 @@ if (PYTHONLIBS_FOUND)
   # get_filename_component ( _ABS_PYTHON_MODULE_PATH ${_ABS_PYTHON_MODULE_PATH} ABSOLUTE )
   # file ( RELATIVE_PATH _REL_PYTHON_MOULE_PATH ${CMAKE_INSTALL_PREFIX} ${_ABS_PYTHON_MODULE_PATH} )
 
-    set ( PYTHON_MODULE_PATH
-      ${_REL_PYTHON_MODULE_PATH}
-      )
+#    set ( PYTHON_MODULE_PATH
+#      ${_REL_PYTHON_MODULE_PATH}
+#      )
 
     set(SETUP_PY "${CMAKE_CURRENT_BINARY_DIR}/setup.py")
 
     add_custom_target ( py2yap ALL
       COMMAND ${PYTHON_EXECUTABLE} setup.py bdist
-      DEPENDS yap.py ${SWIG_MODULE_Py2YAP_REAL_NAME}  )
+      DEPENDS ../yap.py YAPPython  )
 
     
     install(CODE "execute_process(COMMAND ${PYTHON_EXECUTABLE} ${SETUP_PY} install 
diff --git a/packages/swig/python/setup.py.cmake b/packages/swig/python/setup.py.cmake
index 4c3f9480b..788f06453 100644
--- a/packages/swig/python/setup.py.cmake
+++ b/packages/swig/python/setup.py.cmake
@@ -1,25 +1,34 @@
 from distutils.core import setup, Extension
+import sys
+import os
+import platform
 
+if platform.system() == 'Darwin':
+    my_extra_link_args = ['-Wl,-rpath','${dlls}']
+else:
+    my_extra_link_args = []
+                           
 setup(
     name = "yap",
     version = "0.1",
-    ext_modules=[Extension('_yap', ['${CMAKE_SOURCE_DIR}/packages/swig/python/_yap.c'],    			 
+    ext_modules=[Extension('_yap', ['${CMAKE_SOURCE_DIR}/packages/swig/yap.i'],    			 
                              define_macros = [('MAJOR_VERSION', '1'),
                                               ('MINOR_VERSION', '0'),
                             ('_YAP_NOT_INSTALLED_', '1')],
-                             runtime_library_dirs=['${dlls}'],
+                            runtime_library_dirs=['${dlls}'],
+			    swig_opts=['-modern', '-c++', '-py3','-I${CMAKE_SOURCE_DIR}/CXX'],
                              library_dirs=['../../..','../../../CXX',
 					'../../python',
 					'.'],
-                             libraries=['Yap++','Yap','YAPPython'],
+					extra_link_args=my_extra_link_args,
+					libraries=['Yap++','Yap','YAPPython'],
                              include_dirs=['../../..',
                                          '${CMAKE_SOURCE_DIR}/H',
                                          '${CMAKE_SOURCE_DIR}/H/generated',
                                          '${CMAKE_SOURCE_DIR}/OPTYap',
                                          '${CMAKE_SOURCE_DIR}/os',
                                          '${CMAKE_SOURCE_DIR}/include',
-                                         '${CMAKE_SOURCE_DIR}/CXX', '.'],
-				extra_objects = ['${CMAKE_CURRENT_BINARY_DIR}/_Py2YAP${CMAKE_SHARED_MODULE_SUFFIX}' ]
+                                         '${CMAKE_SOURCE_DIR}/CXX', '.']
     )],
 py_modules = ['yap']
 )

From ba98f237ae3ddea19578bb7c5e9a5bd333cdb78a Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Tue, 23 Aug 2016 15:51:39 +0100
Subject: [PATCH 09/13] oops

---
 C/load_dl.c | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/C/load_dl.c b/C/load_dl.c
index 1fde40a60..d0ad81787 100755
--- a/C/load_dl.c
+++ b/C/load_dl.c
@@ -123,13 +123,7 @@ void *Yap_LoadForeignFile(char *file, int flags) {
   else
     dlflag |= RTLD_LOCAL;
 #endif
-  if (!Yap_findFile(file, NULL, NULL, LOCAL_FileNameBuf, true, YAP_OBJ, true, true)) {
-    /* use LD_LIBRARY_PATH */
-    strncpy(LOCAL_FileNameBuf, file, YAP_FILENAME_MAX - 1);
-    strncat(LOCAL_FileNameBuf, ".", YAP_FILENAME_MAX - 1);
-    strncat(LOCAL_FileNameBuf, "SO_EXT", YAP_FILENAME_MAX - 1);
-  }
-  out = (void *)dlopen(LOCAL_FileNameBuf, flags);
+  out = (void *)dlopen(file, dlflag);
   if (out == NULL) {
     const char *m_os = dlerror();
     if (m_os) {

From 6f6e2947037f1df3cb67e27ef6044931dc7e3003 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Tue, 23 Aug 2016 15:52:03 +0100
Subject: [PATCH 10/13] bad dependency

---
 packages/python/python.pl           | 4 +++-
 packages/swig/python/CMakeLists.txt | 2 +-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/packages/python/python.pl b/packages/python/python.pl
index 97e350017..997f0a194 100644
--- a/packages/python/python.pl
+++ b/packages/python/python.pl
@@ -429,4 +429,6 @@ python_assign_field(C1.E, Obj) :-
 	python_eval_term(C1, O1),
 	python_assign_field(O1, E, Obj ).
 
-:- initialization( use_foreign_library(foreign(libYAPPython), init_python), now ).
+%:- initialization( load_foreign_files([libYAPPython], [], init_python), now ).
+
+:- initialization( load_foreign_library(foreign(libYAPPython), init_python), now ).
diff --git a/packages/swig/python/CMakeLists.txt b/packages/swig/python/CMakeLists.txt
index 024828c88..d39355396 100644
--- a/packages/swig/python/CMakeLists.txt
+++ b/packages/swig/python/CMakeLists.txt
@@ -44,7 +44,7 @@ if (PYTHONLIBS_FOUND)
 
     add_custom_target ( py2yap ALL
       COMMAND ${PYTHON_EXECUTABLE} setup.py bdist
-      DEPENDS ../yap.py YAPPython  )
+      DEPENDS ../yap.i YAPPython  )
 
     
     install(CODE "execute_process(COMMAND ${PYTHON_EXECUTABLE} ${SETUP_PY} install 

From 1bea4230e48462c19b7a2ce7787889de0b0fd5a2 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Tue, 23 Aug 2016 11:15:07 -0500
Subject: [PATCH 11/13] cmake

---
 cmake/FindCUDD.cmake                   | 121 ++++++++++++++-----------
 cmake/FindGecode.cmake                 |  26 +++---
 cmake/cudd.cmake                       |   8 +-
 packages/cplint/slipcase/bddem.c       |   8 +-
 packages/raptor/CMakeLists.txt         |   6 +-
 packages/raptor/cmake/FindRAPTOR.cmake |   2 +
 6 files changed, 97 insertions(+), 74 deletions(-)

diff --git a/cmake/FindCUDD.cmake b/cmake/FindCUDD.cmake
index a953be3fc..c8821176a 100644
--- a/cmake/FindCUDD.cmake
+++ b/cmake/FindCUDD.cmake
@@ -10,19 +10,10 @@
 # Redistribution and use is allowed according to the terms of the BSD license.
 # For details see the accompanying COPYING-CMAKE-SCRIPTS file.
 
-if (NOT DEFINED CUDD_ROOT)
-  set(CUDD_ROOT $ENV{CUDD_ROOT})
-endif()
+SET( CUDD_FOUND "NO" )
 
-# Check if we have cached results in case the last round was successful.
-
-  find_package(PkgConfig)
-
-  
-  find_path(CUDD_INCLUDE_DIR
-    NAMES cudd.h cudd/cudd.h
-    $ENV{CUDD_ROOT}/include
-    $ENV{CUDD_ROOT}
+set (CUDD_INCLUDE_SEARCH_PATH 
+    ${CMAKE_INSTALL_PREFIX}/include
     /usr/local/yap/include
     /usr/local/Yap/include
     /usr/local/cudd/include
@@ -36,100 +27,124 @@ endif()
     /opt/csw/include   # Blastwave
     /opt/include
     /usr/freeware/include
-    NO_DEFAULT_PATHS
-    
-    )
-  
- mark_as_advanced(CUDD_INCLUDE_DIR)
-
-if (${CUDD_ROOT}) 
-  set (CUDD_LIB_SEARCH_PATH 
-    $ENV{CUDD_ROOT}/lib
-    $ENV{CUDD_ROOT}/lib64
-    $ENV{CUDD_ROOT}/lib-dbg
-    $ENV{CUDD_ROOT}
-    ${CUDD_ROOT}/cudd
-    /usr/lib
-    ${CUDD_ROOT}/lib
-    ${CUDD_ROOT}/lib64
-    ${CUDD_ROOT}/lib-dbg
-    ${CUDD_ROOT}
-    ${CUDD_ROOT}/cudd
  )
- endif()
 
- mark_as_advanced(CUDD_LIB_SEARCH_PATH on)
 
 
 set (CUDD_LIB_SEARCH_PATH 
-    ${CUDD_LIB_SEARCH_PATH}
-    /usr/lib64
+    ${CMAKE_INSTALL_PREFIX}/lib
     /usr/lib
     /usr/local/lib/cudd
     /usr/local/cudd/lib
     /usr/lib/cudd
     /usr/lib/cudd/lib
-    /usr/lib64/cudds
-    /usr/freeware/lib64 )
+    /usr/freeware/lib )
+
+if ($ENV{CUDD_ROOT}) 
+  list (APPEND CUDD_LIB_SEARCH_PATH 
+    $ENV{CUDD_ROOT}/lib
+    $ENV{CUDD_ROOT}/lib-dbg
+    $ENV{CUDD_ROOT} )
+
+  list (APPEND CUDD_INCLUDE_SEARCH_PATH 
+    $ENV{CUDD_ROOT}/include )
+endif()
+
+if (${CUDD_ROOT}) 
+  list (APPEND CUDD_LIB_SEARCH_PATH 
+    ${CUDD_ROOT}/lib
+    ${CUDD_ROOT}/lib-dbg
+    ${CUDD_ROOT} )
+  list (APPEND CUDD_INCLUDE_SEARCH_PATH 
+    ${CUDD_ROOT}/include )
+endif()
+
+# Check if we have cached results in case the last round was successful.
+
+  find_package(PkgConfig)
+  
+  find_path(CUDD_INCLUDE_DIR
+    NAMES cudd.h cudd/cudd.h
+    ${CUDD_INCLUDE_SEARCH_PATH}
+    )
+  
+ mark_as_advanced(CUDD_INCLUDE_DIR)
+
+if (CUDD_INCLUDE_DIR)
 
   find_library(CUDD_LIBRARIES
     NAMES cudd
     PATHS
     ${CUDD_LIB_SEARCH_PATH}
     )
-    
- IF (NOT EXISTS ${CUDD_INCLUDE_DIR}/epdInt.h )
 
+    if (CUDD_LIBRARIES)
+    
+    SET( CUDD_FOUND "YES" )
+ 
 find_library(CUDD_DDDMP_LIBRARY
     NAMES dddmp
     PATHS
     ${CUDD_LIB_SEARCH_PATH}
     )
 
+if (CUDD_DDMP_LIBRARY)
+   list( APPEND CUDD_LIBRARIES ${CUDD_DDMP_LIBRARY} )
+endif()
+
 find_library(CUDD_EPD_LIBRARY
     NAMES  epd
     PATHS
      ${CUDD_LIB_SEARCH_PATH}
     )
 
+if (CUDD_EPD_LIBRARY)
+   list( APPEND CUDD_LIBRARIES ${CUDD_EPD_LIBRARY} )
+endif()
+
   find_library(CUDD_ST_LIBRARY
-    NAMES cuddst st
+    NAMES cuddst 
     PATHS
      ${CUDD_LIB_SEARCH_PATH}
    )
 
+if (CUDD_ST_LIBRARY)
+   list( APPEND CUDD_LIBRARIES ${CUDD_ST_LIBRARY} )
+endif()
+
+
   
   find_library(CUDD_UTIL_LIBRARY
-    NAMES cuddutil util 
+    NAMES cuddutil  
     
     PATHS
      ${CUDD_LIB_SEARCH_PATH}
-    NO_DEFAULT_PATHS
-    NO_SYSTEM_ENVIRONMENT_PATH
-    NO_CMAKE_SYSTEM_PATH
     )
  
+if (CUDD_UTIL_LIBRARY)
+   list( APPEND CUDD_LIBRARIES ${CUDD_ST_LIBRARY} )
+endif()
+
   find_library(CUDD_MTR_LIBRARY
     NAMES  mtr
     PATHS
       ${CUDD_LIB_SEARCH_PATH}
     )
 
+if (CUDD_MTR_LIBRARY)
+   list( APPEND CUDD_LIBRARIES ${CUDD_MTR_LIBRARY} )
+endif()
 
-set(CUDD_LIBRARIES
-  ${CUDD_LIBRARIES} ${CUDD_ST_LIBRARY} ${CUDD_UTIL_LIBRARY}
-  ${CUDD_MTR_LIBRARY}  ${CUDD_EPD_LIBRARY} ${CUDD_DDDMP_LIBRARY} )
+endif()
 
-endif () # Check for cudd 2.
+endif()
+
+ mark_as_advanced(CUDD_LIBRARIES)
 
 
-SET( CUDD_FOUND "NO" )
-IF(CUDD_INCLUDE_DIR AND CUDD_LIBRARIES)
-    SET( CUDD_FOUND "YES" )
-ENDIF()
 
 mark_as_advanced (CUDD_FOUND)
 
 
-find_package_handle_standard_args(R DEFAULT_MSG CUDD_LIBRARIES CUDD_INCLUDE_DIR )
+find_package_handle_standard_args(CUDD DEFAULT_MSG CUDD_LIBRARIES CUDD_INCLUDE_DIR )
 
diff --git a/cmake/FindGecode.cmake b/cmake/FindGecode.cmake
index 776b5e350..5055b0de5 100644
--- a/cmake/FindGecode.cmake
+++ b/cmake/FindGecode.cmake
@@ -2,11 +2,11 @@
 
 #Works under the assumption than when gecode is installed at least the kernel component exists
 # Look for the header file
-find_path(GECODE_INCLUDE_DIR NAMES gecode/kernel.hh )
-find_file(GECODE_CONFIG gecode/support/config.hpp)
+find_path(GECODE_INCLUDE_DIR NAMES gecode/kernel.hh PATHS ${CMAKE_INSTALL_PREFIX}/include)
+find_file(GECODE_CONFIG gecode/support/config.hpp PATHS ${CMAKE_INSTALL_PREFIX}/include)
 # Look for the library
-find_library(GECODE_LIBRARY NAMES gecodekernel)
-find_library(GECODE_SUPPORT_LIBRARY NAMES gecodesupport)
+find_library(GECODE_LIBRARY NAMES gecodekernel PATHS ${CMAKE_INSTALL_PREFIX}/lib)
+find_library(GECODE_SUPPORT_LIBRARY NAMES gecodesupportl PATHS ${CMAKE_INSTALL_PREFIX}/lib)
 
 if(GECODE_CONFIG)
   file(STRINGS ${GECODE_CONFIG} GECODE_LINE_VERSION REGEX "^#define GECODE_VERSION .*")
@@ -20,39 +20,39 @@ endif()
 if(GECODE_FOUND)
   set(GECODE_LIBRARIES ${GECODE_LIBRARY} ${GECODE_SUPPORT_LIBRARY})
   set(GECODE_INCLUDE_DIRS ${GECODE_INCLUDE_DIR})
-  find_library(GECODE_DRIVER_LIBRARY gecodedriver)
+  find_library(GECODE_DRIVER_LIBRARY gecodedriverl PATHS ${CMAKE_INSTALL_PREFIX}/lib)
   if(GECODE_FZ_LIBRARY)
     list(APPEND GECODE_LIBRARIES ${GECODE_FZ_LIBRARY})
   endif()
-  find_library(GECODE_GIST_LIBRARY gecodegist)
+  find_library(GECODE_GIST_LIBRARY gecodegistl PATHS ${CMAKE_INSTALL_PREFIX}/lib)
   if(GECODE_GIST_LIBRARY)
     list(APPEND GECODE_LIBRARIES ${GECODE_GIST_LIBRARY})
   endif()
-  find_library(GECODE_GRAPH_LIBRARY gecodegraph)
+  find_library(GECODE_GRAPH_LIBRARY gecodegraphl PATHS ${CMAKE_INSTALL_PREFIX}/lib)
   if(GECODE_GRAPH_LIBRARY)
     list(APPEND GECODE_LIBRARIES ${GECODE_GRAPH_LIBRARY})
   endif()
-  find_library(GECODE_INT_LIBRARY gecodeint)
+  find_library(GECODE_INT_LIBRARY gecodeintl PATHS ${CMAKE_INSTALL_PREFIX}/lib)
   if(GECODE_INT_LIBRARY)
     list(APPEND GECODE_LIBRARIES ${GECODE_INT_LIBRARY})
   endif()
-  find_library(GECODE_FLOAT_LIBRARY gecodefloat)
+  find_library(GECODE_FLOAT_LIBRARY gecodefloatl PATHS ${CMAKE_INSTALL_PREFIX}/lib)
   if(GECODE_FLOAT_LIBRARY)
     list(APPEND GECODE_LIBRARIES ${GECODE_FLOAT_LIBRARY})
   endif()
-  find_library(GECODE_MM_LIBRARY gecodeminimodel)
+  find_library(GECODE_MM_LIBRARY gecodeminimodell PATHS ${CMAKE_INSTALL_PREFIX}/lib)
   if(GECODE_MM_LIBRARY)
     list(APPEND GECODE_LIBRARIES ${GECODE_MM_LIBRARY})
   endif()
-  find_library(GECODE_SCHEDULING_LIBRARY gecodescheduling)
+  find_library(GECODE_SCHEDULING_LIBRARY gecodeschedulingl PATHS ${CMAKE_INSTALL_PREFIX}/lib)
   if(GECODE_SCHEDULING_LIBRARY)
     list(APPEND GECODE_LIBRARIES ${GECODE_SCHEDULING_LIBRARY})
   endif()
-  find_library(GECODE_SEARCH_LIBRARY gecodesearch)
+  find_library(GECODE_SEARCH_LIBRARY gecodesearchl PATHS ${CMAKE_INSTALL_PREFIX}/lib)
   if(GECODE_SEARCH_LIBRARY)
     list(APPEND GECODE_LIBRARIES ${GECODE_SEARCH_LIBRARY})
   endif()
-  find_library(GECODE_SET_LIBRARY gecodeset)
+  find_library(GECODE_SET_LIBRARY gecodesetl PATHS ${CMAKE_INSTALL_PREFIX}/lib)
   if(GECODE_SET_LIBRARY)
     list(APPEND GECODE_LIBRARIES ${GECODE_SET_LIBRARY})
   endif()
diff --git a/cmake/cudd.cmake b/cmake/cudd.cmake
index f9c1ede10..69db4bced 100644
--- a/cmake/cudd.cmake
+++ b/cmake/cudd.cmake
@@ -1,6 +1,7 @@
 
  
-  option (WITH_CUDD "BDD CUDD package" ON)
+option (WITH_CUDD "BDD CUDD package" ON)
+
 if (WITH_CUDD)
 #detect cudd setup, as it is shared between different installations.
 
@@ -9,7 +10,12 @@ find_package(CUDD)
 #  CUDD_LIBRARIES   - Link these to use CUDD
 #  CUDD_INCLUDE_DIR - Include directory for using CUDD
 #
+macro_log_feature (CUDD_FOUND "CUDD"
+    "Use CUDD BDD library"
+    "http://vlsi.colorado.edu/~fabio/CUDD/" FALSE)
+
 if (CUDD_FOUND)
+
     set( CMAKE_REQUIRED_INCLUDES ${CMAKE_REQUIRED_INCLUDES} ${CUDD_INCLUDE_DIR} )
 
 check_include_files( cudd.h HAVE_CUDD_H )
diff --git a/packages/cplint/slipcase/bddem.c b/packages/cplint/slipcase/bddem.c
index 7b8187686..defe16a2c 100644
--- a/packages/cplint/slipcase/bddem.c
+++ b/packages/cplint/slipcase/bddem.c
@@ -15,10 +15,10 @@ for the relative license.
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
-#if HAVE_CUDD_CUDDINT_H
-#include <cudd/cuddInt.h>
-#elif HAVE_CUDDINT_H
-#include "cuddInt.h"
+#if HAVE_CUDD_CUDD_H
+#include <cudd/cudd.h>
+#elif HAVE_CUDD_H
+#include "cudd.h"
 #endif
 #include "YapInterface.h"
 #define LOGZERO log(0.000001)
diff --git a/packages/raptor/CMakeLists.txt b/packages/raptor/CMakeLists.txt
index 69e987774..94b7c8574 100644
--- a/packages/raptor/CMakeLists.txt
+++ b/packages/raptor/CMakeLists.txt
@@ -15,9 +15,9 @@ IF (NOT YAP_FOUND)
 ENDIF (NOT YAP_FOUND)
 
 macro_optional_find_package (LibXml2 ON)
-macro_log_feature (LIBXML2_FOUND "RAPTOR"
+macro_log_feature (LIBXML2_FOUND "LIBXML2"
   "Use XML2 Library"
-  "http://www.r.org" FALSE)
+  "http://www.xmlsoft.org" FALSE)
 IF (LIBXML2_FOUND)
   #   LIBXML2_FOUND - System has LibXml2
 #   LIBXML2_INCLUDE_DIR - The LibXml2 include directory
@@ -76,7 +76,7 @@ ENDIF (LIBXML2_FOUND)
 macro_optional_find_package (RAPTOR ON)
 macro_log_feature (RAPTOR_FOUND "RAPTOR"
   "Use RAPTOR Library"
-  "http://www.r.org" FALSE)
+  "http://www.librdf.org" FALSE)
 IF (RAPTOR_FOUND)
   #  RAPTOR_FOUND       - system has Raptor
   #  RAPTOR_LIBRARIES   - Link these to use Raptor
diff --git a/packages/raptor/cmake/FindRAPTOR.cmake b/packages/raptor/cmake/FindRAPTOR.cmake
index ca3c7dbc1..b718cf145 100644
--- a/packages/raptor/cmake/FindRAPTOR.cmake
+++ b/packages/raptor/cmake/FindRAPTOR.cmake
@@ -45,6 +45,7 @@ if ( NOT( RAPTOR_INCLUDE_DIR AND RAPTOR_LIBRARIES ) OR NOT RAPTOR_FOUND )
       NAMES raptor2.h raptor2/raptor2.h raptor.h raptor/raptor.h
 	    PATHS $ENV{RAPTOR_DIR}/include
 	          $ENV{RAPTOR_DIR}
+		  ${CMAKE_INSTALL_PREFIX}/include
 	          ~/Library/Frameworks
 	          /Library/Frameworks
 	          /usr/local/include
@@ -64,6 +65,7 @@ if ( NOT( RAPTOR_INCLUDE_DIR AND RAPTOR_LIBRARIES ) OR NOT RAPTOR_FOUND )
 	    PATHS $ENV{RAPTOR_DIR}/lib
 	          $ENV{RAPTOR_DIR}/lib-dbg
 	          $ENV{RAPTOR_DIR}
+		  ${CMAKE_INSTALL_PREFIX}/lib
 	          ~/Library/Frameworks
 	          /Library/Frameworks
 	          /usr/local/lib

From cbef36b565723c7d65004035840a02d176d63244 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Tue, 23 Aug 2016 11:18:00 -0500
Subject: [PATCH 12/13] fix unneeded files

---
 compile_commands.json | 1 -
 hh                    | 0
 2 files changed, 1 deletion(-)
 delete mode 120000 compile_commands.json
 delete mode 100644 hh

diff --git a/compile_commands.json b/compile_commands.json
deleted file mode 120000
index 8f7ff8212..000000000
--- a/compile_commands.json
+++ /dev/null
@@ -1 +0,0 @@
-Debug/compile_commands.json
\ No newline at end of file
diff --git a/hh b/hh
deleted file mode 100644
index e69de29bb..000000000

From 6148e8199fa664e22f6faab210900e6f40869158 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Tue, 23 Aug 2016 15:08:36 -0500
Subject: [PATCH 13/13] linux_weird

---
 cmake/cudd.cmake                    |  6 +++---
 library/system.yap                  | 14 ++++++++++++++
 library/system/sys.c                | 22 ++++++++++++++++++++++
 packages/bdd/cudd_config.h.cmake    | 10 ++++++++++
 packages/cplint/cplint.h            |  2 +-
 packages/real/real.pl               |  1 +
 packages/swig/python/setup.py.cmake |  3 ++-
 7 files changed, 53 insertions(+), 5 deletions(-)

diff --git a/cmake/cudd.cmake b/cmake/cudd.cmake
index 69db4bced..de2d30096 100644
--- a/cmake/cudd.cmake
+++ b/cmake/cudd.cmake
@@ -18,10 +18,10 @@ if (CUDD_FOUND)
 
     set( CMAKE_REQUIRED_INCLUDES ${CMAKE_REQUIRED_INCLUDES} ${CUDD_INCLUDE_DIR} )
 
-check_include_files( cudd.h HAVE_CUDD_H )
+check_include_files( "stdio.h;cudd.h" HAVE_CUDD_H )
 check_include_files( "stdio.h;cudd/cudd.h" HAVE_CUDD_CUDD_H )
-check_include_files( cuddInt.h HAVE_CUDDINT_H )
-check_include_files( "stdio.h;cudd/cudd.h;cudd/cuddInt.h" HAVE_CUDD_CUDDINT_H )
+check_include_files( "cuddInt.h"  HAVE_CUDDINT_H )
+check_include_files( "cudd/cuddInt.h" HAVE_CUDD_CUDDINT_H )
 endif (CUDD_FOUND)
 
 endif(WITH_CUDD)
diff --git a/library/system.yap b/library/system.yap
index 498d692ae..9dbcca7f1 100644
--- a/library/system.yap
+++ b/library/system.yap
@@ -45,6 +45,7 @@
 				     mktemp/2,
 	make_directory/1,
 	popen/3,
+     read_link/3,
      rename_file/2,
 	shell/0,
 	shell/1,
@@ -318,6 +319,14 @@ Create file  _OldFile_ to  _NewFile_. This predicate uses the
 `C` built-in function `rename`.
 
 
+*/
+/** @pred read_link(+ SymbolicLink, -Link, -NewPath)
+
+
+Follow a _SymbolicLink_, and obtain the actual _Link_ and the target _newPath_). This predicate uses the
+`C` built-in function `readlink` and is not yet operational in WIN32.
+
+
 */
 /** @pred shell
 
@@ -797,3 +806,8 @@ tmpdir(TmpDir):-
 path_separator('\\'):-
   win, !.
 path_separator('/').
+
+read_link(P,D,F) :-
+	read_link(P, D),
+	absolute_file_name(D, [], F).
+
diff --git a/library/system/sys.c b/library/system/sys.c
index 3df2e5ae2..fab7b2321 100644
--- a/library/system/sys.c
+++ b/library/system/sys.c
@@ -312,6 +312,27 @@ static YAP_Bool rename_file(void) {
   return (TRUE);
 }
 
+
+ static YAP_Bool read_link(void) {
+  char *s1 = (char *)YAP_AtomName(YAP_AtomOfTerm(YAP_ARG1));
+#if HAVE_READLINK
+  char buf[PATH_MAX + 1];
+
+  if (readlink(s1, buf, PATH_MAX) < 0)
+    return false;
+  
+  
+    /* return an error number */
+  if (!YAP_Unify(YAP_ARG2, YAP_MkAtomTerm(YAP_LookupAtom(buf)))) {
+      return false;
+  }
+#endif
+# if _WIN32
+  return false;
+#endif
+  return true;
+}
+
 static YAP_Bool dir_separator(void) {
   return (YAP_Unify(YAP_ARG1, YAP_MkAtomTerm(YAP_LookupAtom("/"))));
 }
@@ -1038,6 +1059,7 @@ void init_sys(void) {
   YAP_UserCPredicate("tmpdir", p_tmpdir, 2);
   YAP_UserCPredicate("rename_file", rename_file, 3);
   YAP_UserCPredicate("sleep", p_sleep, 2);
+  YAP_UserCPredicate("read_link", read_link, 2);
   YAP_UserCPredicate("error_message", error_message, 2);
   YAP_UserCPredicate("win", win, 0);
   YAP_UserCPredicate("md5", md5, 3);
diff --git a/packages/bdd/cudd_config.h.cmake b/packages/bdd/cudd_config.h.cmake
index c44e536a2..689fb289b 100644
--- a/packages/bdd/cudd_config.h.cmake
+++ b/packages/bdd/cudd_config.h.cmake
@@ -1,5 +1,15 @@
 // cmake template file
 
+/* Define to 1 if you have the <cuddInt.h> header file. */
+#ifndef HAVE_CUDD_H
+#cmakedefine HAVE_CUDD_H ${HAVE_CUDD_H}
+#endif
+
+/* Define to 1 if you have the <cudd/cuddInt.h> header file. */
+#ifndef HAVE_CUDD_CUDD_H
+#cmakedefine HAVE_CUDD_CUDD_H ${HAVE_CUDD_CUDD_H}
+#endif
+
 /* Define to 1 if you have the <cuddInt.h> header file. */
 #ifndef HAVE_CUDDINT_H
 #cmakedefine HAVE_CUDDINT_H ${HAVE_CUDDINT_H}
diff --git a/packages/cplint/cplint.h b/packages/cplint/cplint.h
index 500793da5..313bc17a6 100644
--- a/packages/cplint/cplint.h
+++ b/packages/cplint/cplint.h
@@ -12,7 +12,7 @@ for the relative license.
 #include "cudd_config.h"
 #if HAVE_CUDD_CUDDINT_H
 #include "cudd/cuddInt.h"
-#else
+#elif HAVE_CUDDINT_H
 #include "cuddInt.h"
 #endif
 #include "YapInterface.h"
diff --git a/packages/real/real.pl b/packages/real/real.pl
index de6905f7e..19985c71d 100755
--- a/packages/real/real.pl
+++ b/packages/real/real.pl
@@ -66,6 +66,7 @@
 :- use_module(library(charsio)).
 :- use_module(library(readutil)).
 :- use_module(library(debug)).
+:- use_module(library(system)).
 
 :- dynamic( real:r_started/1 ).
 
diff --git a/packages/swig/python/setup.py.cmake b/packages/swig/python/setup.py.cmake
index 788f06453..9856f5c82 100644
--- a/packages/swig/python/setup.py.cmake
+++ b/packages/swig/python/setup.py.cmake
@@ -4,7 +4,7 @@ import os
 import platform
 
 if platform.system() == 'Darwin':
-    my_extra_link_args = ['-Wl,-rpath','${dlls}']
+    my_extra_link_args = ['-Wl,-rpath','-Wl,${dlls}']
 else:
     my_extra_link_args = []
                            
@@ -23,6 +23,7 @@ setup(
 					extra_link_args=my_extra_link_args,
 					libraries=['Yap++','Yap','YAPPython'],
                              include_dirs=['../../..',
+                                         '${GMP_INCLUDE_DIRS}',
                                          '${CMAKE_SOURCE_DIR}/H',
                                          '${CMAKE_SOURCE_DIR}/H/generated',
                                          '${CMAKE_SOURCE_DIR}/OPTYap',