diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 22 |
1 files changed, 1 insertions, 21 deletions
@@ -1200,7 +1200,7 @@ config UNIX_OR_WIN32 "$unix_or_win32" config UNIXLIB "$unixlib" config GRAPHLIB "$graphlib" -otherlibraries="$unixlib str num dynlink bigarray" +otherlibraries="$unixlib str dynlink bigarray" # Spacetime profiling is only available for native code on 64-bit targets. @@ -1569,23 +1569,6 @@ case "$arch,$system" in inf "Cannot detect system stack overflow.";; esac -# Determine the target architecture for the "num" library - -case "$arch" in - i386) bng_arch=ia32 - if sh ./trycompile ia32sse2.c - then bng_asm_level=2 - else bng_asm_level=1 - fi;; - power) bng_arch=ppc; bng_asm_level=1;; - amd64) bng_arch=amd64; bng_asm_level=1;; - arm64) bng_arch=arm64; bng_asm_level=1;; - *) bng_arch=generic; bng_asm_level=0;; -esac - -config BNG_ARCH "$bng_arch" -config BNG_ASM_LEVEL "$bng_asm_level" - # Determine if the POSIX threads library is supported systhread_support=false @@ -2259,9 +2242,6 @@ fi inf "Additional libraries supported:" inf " $otherlibraries" -inf "Configuration for the \"num\" library:" -inf " target architecture ...... $bng_arch (asm level $bng_asm_level)" - if $has_graph; then inf "Configuration for the \"graph\" library:" inf " options for compiling .... $x11_include" |