* [Caml-list] nano configure patch for natdynlink support on OSX 10.7
@ 2011-08-05 13:50 Philippe Strauss
2011-08-05 14:07 ` Philippe Strauss
0 siblings, 1 reply; 4+ messages in thread
From: Philippe Strauss @ 2011-08-05 13:50 UTC (permalink / raw)
To: caml-list
--- configure.orig 2011-08-05 15:42:27.000000000 +0200
+++ configure 2011-08-05 15:41:52.000000000 +0200
@@ -620,7 +620,7 @@
*-*-cygwin*) natdynlink=true;;
i[3456]86-*-linux*) natdynlink=true;;
x86_64-*-linux*) natdynlink=true;;
- i[3456]86-*-darwin10.*)
+ i[3456]86-*-darwin1[01].*)
if test $arch64 == true; then
natdynlink=true
fi;;
--8<--
Haven't tested natdynlink support on 10.7 yet, though.
regards.
^ permalink raw reply [flat|nested] 4+ messages in thread* Re: [Caml-list] nano configure patch for natdynlink support on OSX 10.7
2011-08-05 13:50 [Caml-list] nano configure patch for natdynlink support on OSX 10.7 Philippe Strauss
@ 2011-08-05 14:07 ` Philippe Strauss
2011-08-05 14:26 ` Philippe Strauss
0 siblings, 1 reply; 4+ messages in thread
From: Philippe Strauss @ 2011-08-05 14:07 UTC (permalink / raw)
To: caml-list
hmm not enough, although:
** Configuration summary **
Directories where Objective Caml will be installed:
binaries.................. /opt/ocaml//bin
standard library.......... /opt/ocaml//lib/ocaml
manual pages.............. /opt/ocaml//man (with extension .1)
Configuration for the bytecode compiler:
C compiler used........... gcc
options for compiling..... -fno-defer-pop -no-cpp-precomp -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT
options for linking....... -lcurses -lpthread
shared libraries are supported
options for compiling..... -fno-defer-pop -no-cpp-precomp -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT
command for building...... gcc -bundle -flat_namespace -undefined suppress -read_only_relocs suppress -o lib.so /a/path objs
Configuration for the native-code compiler:
hardware architecture..... amd64
OS variant................ macosx
C compiler used........... gcc
options for compiling..... -D_FILE_OFFSET_BITS=64 -D_REENTRANT
options for linking.......
assembler ................ as -arch x86_64
preprocessed assembler ... gcc -arch x86_64 -c
>>> native dynlink ........... true
profiling with gprof ..... supported
Source-level replay debugger: supported
Additional libraries supported:
unix str num dynlink bigarray systhreads threads graph dbm labltk
Configuration for the "num" library:
target architecture ...... amd64 (asm level 1)
Configuration for the "graph" library:
options for compiling .... -I/usr/X11R6/include
options for linking ...... -L/usr/X11R6/lib -lX11
Configuration for the "labltk" library:
use tcl/tk version ....... 8.5
options for compiling ....
options for linking ...... -ltk8.5 -ltcl8.5
** Objective Caml configuration completed successfully **
--
philou@bookpro-wlan:~/src/ml/ocaml-3.12.1$ gfind /opt/ocaml/ -iname "dynlink*"
/opt/ocaml/lib/ocaml/dynlink.cma
/opt/ocaml/lib/ocaml/dynlink.cmi
/opt/ocaml/lib/ocaml/dynlink.mli
--
philou@bookpro-wlan:~/src/ml/ocaml-3.12.1$ uname -a
Darwin bookpro-wlan.lan 11.0.0 Darwin Kernel Version 11.0.0: Sat Jun 18 12:56:35 PDT 2011; root:xnu-1699.22.73~1/RELEASE_X86_64 x86_64
philou@bookpro-wlan:~/src/ml/ocaml-3.12.1$ ./config/gnu/config.guess
i686-apple-darwin11.0.0
Le 5 août 2011 à 15:50, Philippe Strauss a écrit :
> --- configure.orig 2011-08-05 15:42:27.000000000 +0200
> +++ configure 2011-08-05 15:41:52.000000000 +0200
> @@ -620,7 +620,7 @@
> *-*-cygwin*) natdynlink=true;;
> i[3456]86-*-linux*) natdynlink=true;;
> x86_64-*-linux*) natdynlink=true;;
> - i[3456]86-*-darwin10.*)
> + i[3456]86-*-darwin1[01].*)
> if test $arch64 == true; then
> natdynlink=true
> fi;;
>
> --8<--
>
> Haven't tested natdynlink support on 10.7 yet, though.
>
> regards.
>
> --
> Caml-list mailing list. Subscription management and archives:
> https://sympa-roc.inria.fr/wws/info/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2011-08-05 15:05 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-08-05 13:50 [Caml-list] nano configure patch for natdynlink support on OSX 10.7 Philippe Strauss
2011-08-05 14:07 ` Philippe Strauss
2011-08-05 14:26 ` Philippe Strauss
[not found] ` <E147045C-3B56-4907-8918-6CC6746C4E0F@philou.ch>
2011-08-05 15:05 ` Philippe Strauss
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).