diff options
Diffstat (limited to 'development/gplcver/files/vcddiff-CMakeLists.txt')
| -rw-r--r-- | development/gplcver/files/vcddiff-CMakeLists.txt | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/development/gplcver/files/vcddiff-CMakeLists.txt b/development/gplcver/files/vcddiff-CMakeLists.txt new file mode 100644 index 0000000000..9731b7e9bf --- /dev/null +++ b/development/gplcver/files/vcddiff-CMakeLists.txt @@ -0,0 +1,15 @@ +SET(BIN_INSTALL_DIR bin) +SET(DATA_INSTALL_DIR share/gplcver) +SET(DOC_INSTALL_DIR doc/gplcver/vcddiff) +SET(MAN_INSTALL_DIR man/man1) + +LINK_LIBRARIES(m) + +SET(vcddiff_sources src/vcddiff.c) + +ADD_EXECUTABLE(vcddiff ${vcddiff_sources}) + +INSTALL(FILES "Changelog" "README.vcddiff" "src/README" DESTINATION ${DOC_INSTALL_DIR}) +INSTALL(DIRECTORY "examples.vcddiff" DESTINATION ${DOC_INSTALL_DIR}) +INSTALL(TARGETS vcddiff DESTINATION ${BIN_INSTALL_DIR}) + |