Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap

2018-11-17 06:23:18 +00:00
parent 27227b75c7 e89bc55b9f
commit 9b31c93a46
65 changed files with 247 additions and 265 deletions
--- a/packages/ProbLog/CMakeLists.txt
+++ b/packages/ProbLog/CMakeLists.txt
@@ -56,11 +56,11 @@ set (LIBRARY_PL
 )

 install(FILES ${PROGRAMS}
-  DESTINATION ${libpl}
+  DESTINATION ${YAP_INSTALL_DATADIR}
  )

 install(FILES ${PROBLOG_PROGRAMS}
-  DESTINATION ${libpl}/problog
+  DESTINATION ${YAP_INSTALL_DATADIR}/problog
  )