Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
This commit is contained in:
commit
f4a3c27ae9
|
@ -0,0 +1,13 @@
|
|||
set (LIBRARY_PL_VLP
|
||||
clpfd.pl
|
||||
clp_distinct.pl
|
||||
simplex.pl
|
||||
)
|
||||
|
||||
install(FILES ${LIBRARY_PL_CLP}
|
||||
DESTINATION ${libpl}
|
||||
)
|
||||
|
||||
|
||||
|
||||
|
Reference in New Issue