TREX/trexio
1
0
Fork 0
mirror of https://github.com/TREX-CoE/trexio.git synced 2024-12-23 04:43:57 +01:00
Code Issues Projects Releases Wiki Activity

Fix #62 : raise autoconf error when not in developer mode

Browse Source 
but trying to configure the GitHub repo clone.

This is required because TREXIO source files can either be generated in developer mode (using emacs org-mode files) or obtained from the source code distribution.
This commit is contained in:
q-posev 2021-10-12 15:55:58 +02:00
parent fb9c95bd61
commit 2bdcf87a55
1 changed files with 17 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
configure.ac
View File

@ -157,6 +157,23 @@ if test "x${TREXIO_DEVEL}" != "x"; then
HAS_CPPCHECK=1 HAS_CPPCHECK=1
fi fi
else
# Throw an error message if the user attempts to configure the GitHub repo clone not in the developer mode.
# Developer mode is required to generate the TREXIO source files from the org-mode templates.
TEST_IFEXISTS=".gitmodules"
AC_CHECK_FILE([$TEST_IFEXISTS],
[AC_MSG_ERROR([
----------------------------------------------------------------
Installation with the current configuration is not possible.
Activate developer mode: TREXIO_DEVEL=1 ./configure
| OR |
Download the tarball with the source code distribution.
----------------------------------------------------------------
])],
[]
)
fi fi
## Libm ## Libm