From e97eb4696ea954954e70f6944bd6c9790dbdd395 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Wed, 3 Feb 2016 02:48:18 +0000
Subject: [PATCH] Linux

---
 packages/jpl/src/c/CMakeLists.txt       | 17 +++++++++++++++++
 packages/jpl/src/c/{hacks.c => hacks.h} |  0
 2 files changed, 17 insertions(+)
 create mode 100644 packages/jpl/src/c/CMakeLists.txt
 rename packages/jpl/src/c/{hacks.c => hacks.h} (100%)

diff --git a/packages/jpl/src/c/CMakeLists.txt b/packages/jpl/src/c/CMakeLists.txt
new file mode 100644
index 000000000..91ef655c5
--- /dev/null
+++ b/packages/jpl/src/c/CMakeLists.txt
@@ -0,0 +1,17 @@
+
+add_library (jplYap SHARED jpl.h jpl.c hacks.h)
+  
+include_directories (${JAVA_INCLUDE_DIRS} ${JNI_INCLUDE_DIRS} )
+  
+  target_link_libraries(jplYap  libYap ${JNI_LIBRARIES} ${JAVA_LIBRARIES})
+  
+  set_target_properties(jplYap PROPERTIES
+    OUTPUT_NAME jpl )
+  
+  set(YAP_SYSTEM_OPTIONS "jpl " ${YAP_SYSTEM_OPTIONS} PARENT_SCOPE)
+  
+  install(TARGETS  jplYap
+    LIBRARY DESTINATION ${dlls}
+	  )
+
+	
diff --git a/packages/jpl/src/c/hacks.c b/packages/jpl/src/c/hacks.h
similarity index 100%
rename from packages/jpl/src/c/hacks.c
rename to packages/jpl/src/c/hacks.h