diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge branch 'master' of ssh://ssh.dcc.fc.up.pt:31064/home/vsc/yap

Browse Source
This commit is contained in:
Vitor Santos Costa 2019-01-24 13:28:07 +00:00
commit a3dd1a1520
1 changed files with 16 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
CMakeLists.txt
View File

@ -407,6 +407,20 @@ include_directories(BEFORE ${CMAKE_BINARY_DIR})
add_subdirectory( H ) add_subdirectory( H )
set_directory_properties( PROPERTIES INCLUDE_DIRECTORIES
H
H/generated
include
os
OPTYap
utf8proc
JIT/HPP
${GMP_INCLUDE_DIRS}
${READLINE_LIBRARIES}
${SQLITE_LIBRARIES}
${ANDROID_LIBRARIES}
)
#MPI STUFF #MPI STUFF
# library/mpi/mpi.c library/mpi/mpe.c # library/mpi/mpi.c library/mpi/mpe.c
# library/lammpi/yap_mpi.c library/lammpi/hash.c library/lammpi/prologterms2c.c # library/lammpi/yap_mpi.c library/lammpi/hash.c library/lammpi/prologterms2c.c
@ -422,8 +436,8 @@ add_subdirectory( H )
set(YAP_FOUND ON) set(YAP_FOUND ON)
set(YAP_MAJOR_VERSION 6) set(YAP_MAJOR_VERSION 6)
set(YAP_MINOR_VERSION 4) set(YAP_MINOR_VERSION 5)
set(YAP_PATCH_VERSION 1) set(YAP_PATCH_VERSION 0)
set(YAP_FULL_VERSION set(YAP_FULL_VERSION
${YAP_MAJOR_VERSION}.${YAP_MINOR_VERSION}.${YAP_PATCH_VERSION}) ${YAP_MAJOR_VERSION}.${YAP_MINOR_VERSION}.${YAP_PATCH_VERSION})