diff --git a/library/clp/CMakeLists.txt b/library/clp/CMakeLists.txt new file mode 100644 index 000000000..b40c4ee9c --- /dev/null +++ b/library/clp/CMakeLists.txt @@ -0,0 +1,13 @@ +set (LIBRARY_PL_VLP + clpfd.pl + clp_distinct.pl + simplex.pl + ) + +install(FILES ${LIBRARY_PL_CLP} + DESTINATION ${libpl} + ) + + + +