diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 14 |
1 files changed, 13 insertions, 1 deletions
@@ -79,7 +79,17 @@ for arg; do continue fi - die "Unknown commandline argument: $name $val" + case "$name" in + extra_cflags) + extra_cflags=$val $extra_cflags + ;; + extra_ldflags) + extra_ldflags=$val $extra_ldflags + ;; + *) + die "Unknown commandline argument: $arg" + ;; + esac done probe_arch @@ -109,7 +119,9 @@ cat > config.mak <<EOF SOURCE_DIR = $source_dir CC = $cc CFLAGS_DEP = $mpi_cflags +CFLAGS_EXTRA = $extra_cflags LDFLAGS_DEP = $mpi_libs +LDFLAGS_EXTRA = $extra_ldflags EOF cat > config.h <<EOF |