set (LIBRARY_PL_VLP clpfd.pl clp_distinct.pl simplex.pl ) install(FILES ${LIBRARY_PL_CLP} DESTINATION ${YAP_INSTALL_DATADIR} )