Skip to content
Snippets Groups Projects
Commit 5aafb94b authored by Olivier Stasse's avatar Olivier Stasse
Browse files

Merge branch 'master' of github.com:jrl-umi3218/jrl-walkgen

Conflicts:
	cmake
parents e77c63f5 4179c0fd
No related branches found
No related tags found
No related merge requests found
......@@ -13,9 +13,6 @@
# received a copy of the GNU Lesser General Public License along with
# jrl-walkgen. If not, see <http://www.gnu.org/licenses/>.
# Import jrl-mal flags.
INCLUDE_DIRECTORIES(${JRL_MAL_INCLUDEDIR})
# Make sure to find Debug.h
INCLUDE_DIRECTORIES(BEFORE ${PROJECT_SOURCE_DIR}/src)
......@@ -69,6 +66,7 @@ SET(SOURCES
)
ADD_LIBRARY(jrl-walkgen SHARED ${SOURCES})
TARGET_LINK_LIBRARIES(jrl-walkgen ${LAPACK_LIBRARIES})
SET_TARGET_PROPERTIES(jrl-walkgen PROPERTIES SOVERSION ${PROJECT_VERSION})
INSTALL(TARGETS jrl-walkgen DESTINATION lib)
PKG_CONFIG_USE_DEPENDENCY(jrl-walkgen jrl-mal)
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment