#
# add here the installation directory for agrum
# do not forget to change this line if needed ("act install -d...")
# system-wide
# set(AGRUM_INSTALLATION_DIRECTORY "/usr")
if (NOT DEFINED AGRUM_INSTALLATION_DIRECTORY)
  set(AGRUM_INSTALLATION_DIRECTORY "~/virtualenvs/devAgrum")
endif ()

message(STATUS "aGrUM installation path : ${AGRUM_INSTALLATION_DIRECTORY} ")

