caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: "David Allsopp" <dra-news@metastack.com>
To: "'caml users'" <caml-list@inria.fr>
Subject: RE: [Caml-list] OCaml version 3.11.0+beta1
Date: Thu, 16 Oct 2008 11:58:01 +0200	[thread overview]
Message-ID: <313592F47439468A85341BFF33508587@countertenor> (raw)
In-Reply-To: <83E04F95-55DD-470E-9C6D-98FA15AE0CE0@inria.fr>

Apologies if I missed them, but are there any installation instructions for
flexdll for Win32 building OCaml 3.11? I copied flexdll.h,
flexdll_initer_mingw.o, flexdll_mingw.o and flexlink.exe to my (empty) OCaml
bin directory (C:\Dev\OCaml\bin which is in PATH) before starting to build
which seemed to allow things to work.

[Aside: As I don't expect to use flexdll for anything else, the OCaml bin
directory seems as good a place as any to put it - I, out of personal
choice, put development tools in C:\Dev rather than C:\Program Files]

The install target of flexdll's Makefile suggests copying:

flexdll_initer.c, flexdll.c
	Surely these aren't needed once it's compiled?

cmdline.o, coff.o, reloc.o, version.o
	Aren't these all part of flexlink.exe and therefore not needed?

default.manifest
	Is this necessary for a MinGW build?

There seems to be an interesting chicken-and-egg source dependency between
flexdll and OCaml 3.11 - you can't build OCaml 3.11 from source or use it
afterwards without flexdll and you can't build flexdll from source without
OCaml. Doesn't that suggest a binary copy of flexdll should be included in
OCaml's boot directory? All of the other *binary* dependencies for Windows
OCaml don't require OCaml themselves... just a thought!

There are now some documentation inconsistencies in the sections for linking
C code - but I'll finish working through the various libraries I use before
reporting back. It's great that ocamlmklib is now available for all ports on
Win32 as well (that's one typo in manual032!) as it means that most of my
broken calls to gcc (rather than flexlib) can be replaced with the much more
portable ocamlmklib anyway!

Is there a useful way of submitted patches to the documentation? The HTML
docs are all generated from something, right?


David

-----Original Message-----
From: caml-list-bounces@yquem.inria.fr
[mailto:caml-list-bounces@yquem.inria.fr] On Behalf Of Damien Doligez
Sent: 15 October 2008 15:40
To: caml users
Subject: [Caml-list] OCaml version 3.11.0+beta1

Dear OCaml Users,

We are pleased to celebrate the birthday of Friedrich Nietzsche
by releasing OCaml version 3.11.0+beta1.  We need YOU to test
it thoroughly and report any problems you might have.  Does
your favorite software work with it?

It is available as a source release only (plus documentation),
from this address:
< http://caml.inria.fr/pub/distrib/ocaml-3.11/ >

It is also available from our CVS server at:
< http://camlcvs.inria.fr/ >
Use tag "ocaml3110beta1" to get the beta release, and tag
"release311" to track the bug fixes between this and the
final release of 3.11.0.

Have fun and PLEASE send us some feedback, positive or negative.


-- The OCaml team.


--------------------- Camlp5 HOW-TO ------------------------

Camlp5 version 5.09 does not work with OCaml 3.11.0+beta1 out of the
box.  A new version compatible with OCaml 3.11.0 should be released
very soon.  In the meantime you can use the following commands (in the
root directory of the Camlp5 5.09 sources) to compile Camlp5 5.09 with
OCaml 3.11.0+beta1.  Note that you will need to provide the path name
to a copy of the OCaml 3.11.0+beta1 sources at the line labelled
"HERE".


cp -R ocaml_stuff/3.11 ocaml_stuff/3.11.0
cp ocaml_src/main/ast2pt.ml_3.11 ocaml_src/main/ast2pt.ml_3.11.0
ed main/ast2pt.ml <<-EOF
   g/OCAML_3_11/s//& OR OCAML_3_11_0/
   wq
EOF
ed top/rprint.ml <<-EOF
   g/OCAML_3_11/s//& OR OCAML_3_11_0/
   wq
EOF
./configure --transitional
make steal OCAML_SRC=<path-to-ocaml-source-dir>      # HERE
make core
make bootstrap_sources
./configure --transitional
make world.opt

That's all.  Now you can "make install" as usual.

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs


  parent reply	other threads:[~2008-10-16  9:58 UTC|newest]

Thread overview: 28+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2008-10-15 13:40 Damien Doligez
2008-10-15 14:19 ` [Caml-list] " Dario Teixeira
2008-10-15 14:55 ` Andres Varon
2008-10-15 15:04   ` Alain Frisch
2008-10-15 15:18     ` Andres Varon
2008-10-15 15:37       ` Alain Frisch
2008-10-15 15:44         ` Andres Varon
2008-10-15 15:46           ` Alain Frisch
2008-10-15 15:22     ` Daniel Bünzli
2008-10-15 15:27       ` Andres Varon
2008-10-15 17:41         ` Daniel Bünzli
2008-10-15 15:32       ` Alain Frisch
2008-10-15 15:56         ` Andres Varon
2008-10-15 16:03           ` Xavier Leroy
2008-10-15 19:39             ` Andres Varon
2008-10-15 15:29     ` Stefano Zacchiroli
2008-10-15 15:32 ` Jaap Boender
2008-10-15 18:07 ` Richard Jones
2008-10-16  8:20 ` David Allsopp
2008-10-17 15:53   ` Xavier Leroy
2008-10-16  9:58 ` David Allsopp [this message]
2008-10-16 13:08   ` Alain Frisch
2008-10-16 15:42     ` Re : " Adrien
2008-10-16 16:00       ` Alain Frisch
2008-10-16  9:58 ` David Allsopp
2008-10-16 16:22   ` Andres Varon
2008-10-16 16:31     ` Andres Varon
2008-10-16 16:50       ` Andres Varon

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=313592F47439468A85341BFF33508587@countertenor \
    --to=dra-news@metastack.com \
    --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).