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