From: Philippe Strauss <philou@philou.ch>
To: caml-list@inria.fr
Subject: Re: [Caml-list] nano configure patch for natdynlink support on OSX 10.7
Date: Fri, 5 Aug 2011 16:07:47 +0200 [thread overview]
Message-ID: <D1B34F04-7290-46B5-8BEC-FE98D0FFA644@philou.ch> (raw)
In-Reply-To: <790A96E0-994B-4765-A72F-CE4BBB4B27C6@philou.ch>
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
>
next prev parent reply other threads:[~2011-08-05 14:07 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-08-05 13:50 Philippe Strauss
2011-08-05 14:07 ` Philippe Strauss [this message]
2011-08-05 14:26 ` Philippe Strauss
[not found] ` <E147045C-3B56-4907-8918-6CC6746C4E0F@philou.ch>
2011-08-05 15:05 ` Philippe Strauss
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=D1B34F04-7290-46B5-8BEC-FE98D0FFA644@philou.ch \
--to=philou@philou.ch \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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).