* Godi-problem: setting C-compiler/linker
@ 2005-04-20 14:11 Markus Mottl
2005-05-04 12:52 ` Gerd Stolpmann
0 siblings, 1 reply; 2+ messages in thread
From: Markus Mottl @ 2005-04-20 14:11 UTC (permalink / raw)
To: Inria Ocaml Mailing List; +Cc: gerd
Hi,
we have discovered a linking problem with the OCaml-distribution in
Godi. We want to be able to choose different C-compilers (e.g. gcc33)
when compiling or linking. Unfortunately, Godi hacks the
OCaml-distribution to insert some additional flags for finding shared
libraries. These flags are lost when we want to set a compiler/linker
using "-cc".
We could, of course, hard code these flags into our Makefiles, but
that's not particularly portable. Another way would be to link a dummy
file with flag "-verbose" and use pattern matching on the displayed
command line to extract the correct flags (very hacky, can easily
break).
What would be a better (= simpler, more portable) solution to this problem?
Best regards,
Markus
--
Markus Mottl http://www.ocaml.info markus.mottl@gmail.com
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: Godi-problem: setting C-compiler/linker
2005-04-20 14:11 Godi-problem: setting C-compiler/linker Markus Mottl
@ 2005-05-04 12:52 ` Gerd Stolpmann
0 siblings, 0 replies; 2+ messages in thread
From: Gerd Stolpmann @ 2005-05-04 12:52 UTC (permalink / raw)
To: Markus Mottl; +Cc: Inria Ocaml Mailing List
Am Mittwoch, den 20.04.2005, 10:11 -0400 schrieb Markus Mottl:
> Hi,
>
> we have discovered a linking problem with the OCaml-distribution in
> Godi. We want to be able to choose different C-compilers (e.g. gcc33)
> when compiling or linking. Unfortunately, Godi hacks the
> OCaml-distribution to insert some additional flags for finding shared
> libraries. These flags are lost when we want to set a compiler/linker
> using "-cc".
>
> We could, of course, hard code these flags into our Makefiles, but
> that's not particularly portable. Another way would be to link a dummy
> file with flag "-verbose" and use pattern matching on the displayed
> command line to extract the correct flags (very hacky, can easily
> break).
>
> What would be a better (= simpler, more portable) solution to this problem?
If it is only gcc, it might be an option to use the -V switch. It
selects the version provided the compilers are installed into the same
tree. E.g. gcc -V 3.3 would select the 3.3 version.
I don't have a good answer if this is not an option. What I am generally
missing is an official way to get O'Caml's configuration from the
compiler, i.e. an extended ocamlc -v.
Gerd
--
------------------------------------------------------------
Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany
gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de
------------------------------------------------------------
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2005-05-04 12:52 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-04-20 14:11 Godi-problem: setting C-compiler/linker Markus Mottl
2005-05-04 12:52 ` Gerd Stolpmann
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox