diff options
| author | Gard Spreemann <gspr@nonempty.org> | 2019-09-25 14:53:36 +0200 |
|---|---|---|
| committer | Gard Spreemann <gspr@nonempty.org> | 2019-09-25 14:53:36 +0200 |
| commit | 70ad5fc411b0e0a3d590ad281fc97d488994062b (patch) | |
| tree | b0ddd84d7ee935936787eee2b75f78f2e21c41f0 /src/GUDHIConfig.cmake.in | |
| parent | b50046e487ab42cdef19b02128a9f498d6a36482 (diff) | |
| parent | 5ccee32ec2ba38743c6b96867db3e1b5151e45e4 (diff) | |
Merge branch 'dfsg/latest' into debian/sid
Diffstat (limited to 'src/GUDHIConfig.cmake.in')
| -rw-r--r-- | src/GUDHIConfig.cmake.in | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/GUDHIConfig.cmake.in b/src/GUDHIConfig.cmake.in new file mode 100644 index 00000000..8d82f235 --- /dev/null +++ b/src/GUDHIConfig.cmake.in @@ -0,0 +1,12 @@ +# - Config file for the GUDHI package +# It defines the following variables +# GUDHI_INCLUDE_DIRS - include directories for GUDHI +# +# Order is : +# 1. user defined GUDHI_INCLUDE_DIRS +# 2. ${CMAKE_SOURCE_DIR}/include => Where the 'cmake' has been done +# 3. ${CMAKE_INSTALL_PREFIX}/include => Where the 'make install' has been performed + +# Compute paths +set(GUDHI_INCLUDE_DIRS "${GUDHI_INCLUDE_DIRS};@CONF_INCLUDE_DIRS@") + |