Updated configure

This commit is contained in:
Anthony Scemama 2019-04-04 00:38:05 +02:00
parent 1a9f1ac54b
commit 1933e560d2
1 changed files with 6 additions and 2 deletions

8
configure vendored
View File

@ -11,11 +11,12 @@ doc='$(prefix)/doc'
share='$(prefix)/share'
man='$(prefix)/man'
etc='$(prefix)/etc'
ocamlcflags='"-g -warn-error A"'
ocamlcflags='"-g -warn-error A -cc gcc -ccopt -Ofast -ccopt -march=native "'
ocamllflags='"-g -warn-error A"'
ocamloptflags='"opt -O3 -nodynlink -remove-unused-arguments -rounds 16 -inline 100 -inline-max-unroll 100"'
ocamloptflags='"opt -O3 -nodynlink -remove-unused-arguments -rounds 16 -inline 100 -inline-max-unroll 100 -cc gcc -ccopt -Ofast -ccopt -march=native"'
ocamldocflags='-docflags "-g ltxhtml.cma -sort -css-style $(PWD)/style.css -colorize-code"'
mpi=''
ocamloptflags_profile='"opt -p -cc gcc -ccopt -Ofast -ccopt -march=native -ccopt -no-pie "'
# --------------------------------
@ -44,6 +45,7 @@ where options include:
-ocamlcflags default: $ocamlcflags
-ocamloptflags default: $ocamloptflags
-mpi default: mpi off
-profile default: off
EOF
exit
@ -77,6 +79,8 @@ while : ; do
shift;;
-mpi|--mpi)
mpi='-tag "package(mpi)"';;
-profile|--profile)
ocamloptflags=$ocamloptflags_profile
-h|-help|--help)
help;;
*)