From: Adrien Nader <adrien@notk.org>
To: Thomas Braibant <thomas.braibant@gmail.com>
Cc: David Sheets <kosmo.zb@gmail.com>,
Yotam Barnoy <yotambarnoy@gmail.com>,
Ocaml Mailing List <caml-list@inria.fr>
Subject: Re: [Caml-list] One build system to rule them all?
Date: Wed, 10 Sep 2014 16:13:27 +0200 [thread overview]
Message-ID: <20140910141327.GA2974@notk.org> (raw)
In-Reply-To: <CAHR=VkwHfKmR2YAVOuTdPZW0o8TLYTfDt_mK0wiegTvuZnYjag@mail.gmail.com>
On that topic, I've recently cleaned up my build scripts for use in
win-builds.org (which should see a release in a few weeks hopefully).
For the oasis case, I only set OCAMLFIND_CONF to a file which contains:
destdir="/opt/windows_32/lib/ocaml/site-lib"
path="/opt/windows_32/lib/ocaml/site-lib"
# Where the cross-compiler is installed
stdlib="/opt/cross_toolchain_32/lib/ocaml"
# I have this variable but I only do native compile so I don't
# actually use it
ldconf="/opt/windows_32/lib/ocaml/ld.conf"
# Below, the .exe versions are the cross-compiler binaries; their
# proper name should be something like "i686-w64-mingw32-ocamlopt.opt"
# instead of "ocamlopt.opt.exe"
ocamlc="ocamlc.opt.exe"
ocamlopt="ocamlopt.opt.exe"
# Btw, that one is needed too for C stubs libraries and hasn't been in
# oasis since the beginning; only something like >= 0.4
ocamlmklib="ocamlmklib.exe"
# And these are from the native toolchain, not the cross one (with my
# most recent patches, these are cross-compiled and will be windows
# executables)
ocamldep="ocamldep.opt"
ocamldoc="ocamldoc.opt"
Then, my oasis configure invocation looks like:
ocaml setup.ml -configure --prefix "/${PREFIX}" --mandir "/${PREFIX}/man" --override ext_dll .dll
Very simple in practice.
I also need to mention that this relies on oasis not using all the
values it finds during configure. For instance it finds the host C
compiler but it'll let ocamlbuild and in turn ocamlc call the C
compiler.
--
Adrien Nader
next prev parent reply other threads:[~2014-09-10 14:13 UTC|newest]
Thread overview: 50+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-09-10 12:49 Yotam Barnoy
2014-09-10 13:00 ` Simon Cruanes
2014-09-10 13:02 ` Adrien Nader
2014-09-10 13:05 ` David Sheets
2014-09-10 14:04 ` Thomas Braibant
2014-09-10 14:13 ` Adrien Nader [this message]
2014-09-10 13:18 ` Mark Shinwell
2014-09-10 13:29 ` Francois Berenger
2014-09-10 13:53 ` Jacques-Pascal Deplaix
2014-09-10 13:55 ` Francois Berenger
2014-09-10 14:17 ` Maxence Guesdon
2014-09-10 19:13 ` Drup
2014-09-10 22:56 ` Gerd Stolpmann
2014-09-13 12:01 ` rixed
2014-09-13 12:21 ` Drup
2014-09-13 12:37 ` rixed
2014-09-13 12:50 ` Adrien Nader
2014-09-13 13:05 ` Drup
2014-09-19 11:15 ` Matej Kosik
2014-09-10 14:23 ` Gerd Stolpmann
2014-09-10 15:17 ` Leonardo Laguna Ruiz
2014-09-10 18:59 ` Yotam Barnoy
2014-09-10 19:16 ` Peter Zotov
2014-09-10 19:56 ` Sebastien Mondet
2014-09-10 20:15 ` Gabriel Scherer
2014-09-10 23:20 ` Gerd Stolpmann
2014-09-10 20:13 ` Adrien Nader
2014-09-11 7:53 ` Francois Berenger
2014-09-11 10:37 ` Yaron Minsky
2014-09-12 14:08 ` Yotam Barnoy
2014-09-12 14:31 ` Francois Berenger
2014-09-12 14:36 ` Anil Madhavapeddy
2014-09-12 18:49 ` Yaron Minsky
2014-09-12 15:10 ` SF Markus Elfring
2014-09-12 15:34 ` Adrien Nader
2014-09-12 18:50 ` Fabrice Le Fessant
2014-09-14 18:46 ` Richard W.M. Jones
2014-09-13 12:22 ` rixed
2014-09-15 13:34 ` Stéphane Glondu
2014-09-18 21:15 ` Yotam Barnoy
2014-09-18 21:21 ` Anil Madhavapeddy
2014-09-18 21:36 ` Yaron Minsky
2014-09-19 12:31 ` Daniel Bünzli
2014-09-19 13:06 ` Anil Madhavapeddy
2014-09-18 21:23 ` Yaron Minsky
2014-09-19 7:27 ` Gabriel Scherer
2014-09-19 15:03 ` Yaron Minsky
2014-09-12 16:54 ` [Caml-list] Re : " r.3
2014-09-14 18:16 ` [Caml-list] " Richard W.M. Jones
2014-09-19 9:14 ` r.3
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=20140910141327.GA2974@notk.org \
--to=adrien@notk.org \
--cc=caml-list@inria.fr \
--cc=kosmo.zb@gmail.com \
--cc=thomas.braibant@gmail.com \
--cc=yotambarnoy@gmail.com \
/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).