From 1933e560d227018f12b08ec78e949741b5f78bc2 Mon Sep 17 00:00:00 2001 From: Anthony Scemama Date: Thu, 4 Apr 2019 00:38:05 +0200 Subject: [PATCH] Updated configure --- configure | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/configure b/configure index d8bddaf..0c44fe0 100755 --- a/configure +++ b/configure @@ -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;; *)