[Caml-list] oasis & macosx

[Caml-list] oasis & macosx

[Daniel Bünzli]

Hello,

Is there any simple way to install oasis on macosx ?

Thanks,

Daniel

Re: [Caml-list] oasis & macosx

[Joel Reymont]

On Apr 20, 2011, at 4:53 PM, Daniel Bünzli wrote:

> Is there any simple way to install oasis on macosx ?

Yes, why?

--------------------------------------------------------------------------
- for hire: mac osx device driver ninja, kernel extensions and usb drivers
---------------------+------------+---------------------------------------
http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont
---------------------+------------+---------------------------------------

Re: [Caml-list] oasis & macosx

[Daniel Bünzli]

> Yes, why?

Thanks for the helpful reply.

Anyway, taking the source and following the steps under the Installing
section of INSTALL.txt fails (cf. the end of this email).

I expected oasis to be able to bootstrap itself based on the ocaml
toolchain (at least IIRC that's what Sylvain advertised during his
talk at the meeting).

If I first need to install manually all what is listed in the
Dependency section, it's going to be rather painful.

Btw. it is unclear from the documentation how and where oasis installs
packages.

Best,

Daniel

> ocaml setup.ml -configure
I: Running command '/usr/local/bin/ocamlc.opt -config >
'/var/folders/mk/mk0-dAtIFpKB--yfnxDHPU+++TI/-Tmp-/oasis-994693.txt''
W: Field 'pkg_fileutils' is not set: PropList.Not_set("ocamlfind", 0)
W: Field 'pkg_pcre' is not set: PropList.Not_set("ocamlfind", 0)
W: Field 'ocamlify' is not set
W: Field 'ocamlfind' is not set
W: Field 'pkg_unix' is not set: PropList.Not_set("ocamlfind", 0)
W: Field 'ocamlfind' is not set
W: Field 'pkg_extlib' is not set: PropList.Not_set("ocamlfind", 0)
W: Field 'pkg_findlib' is not set: PropList.Not_set("ocamlfind", 0)
W: Field 'pkg_odn' is not set: PropList.Not_set("ocamlfind", 0)
W: Field 'pkg_ocamlgraph' is not set: PropList.Not_set("ocamlfind", 0)
W: Not_found
W: Field 'pkg_ounit' is not set: PropList.Not_set("ocamlfind", 0)
W: Field 'pkg_expect_pcre' is not set: PropList.Not_set("ocamlfind", 0)
E: Cannot find external tool 'ocamlify'
E: Cannot find findlib package expect.pcre (>= 0.0.2)
E: Cannot find findlib package extlib
E: Cannot find findlib package fileutils
E: Cannot find findlib package fileutils (>= 0.4.2)
E: Cannot find findlib package findlib
E: Cannot find findlib package oUnit (>= 1.1.0)
E: Cannot find findlib package ocamlgraph
E: Cannot find findlib package odn (>= 0.0.3)
E: Cannot find findlib package pcre
E: Cannot find findlib package unix
E: 11 configuration errors

Re: [Caml-list] oasis & macosx

[Joel Reymont]

On Apr 20, 2011, at 5:12 PM, Daniel Bünzli wrote:

> If I first need to install manually all what is listed in the
> Dependency section, it's going to be rather painful.

I wasn't at the meeting but that's how it works. 

I found it quite easy.

--------------------------------------------------------------------------
- for hire: mac osx device driver ninja, kernel extensions and usb drivers
---------------------+------------+---------------------------------------
http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont
---------------------+------------+---------------------------------------

Re: [Caml-list] oasis & macosx

[Török Edwin]

On 2011-04-20 19:17, Joel Reymont wrote:
> 
> On Apr 20, 2011, at 5:12 PM, Daniel Bünzli wrote:
> 
>> If I first need to install manually all what is listed in the
>> Dependency section, it's going to be rather painful.
> 
> I wasn't at the meeting but that's how it works. 
> 
> I found it quite easy.

BTW isn't OASIS-DB supposed to have a way to download a package and all
of its dependencies in one archive?

Best regards,
--Edwin

Re: [Caml-list] oasis & macosx

[Vincent Aravantinos]

Le 20 avr. 11 à 18:12, Daniel Bünzli a écrit :

> I expected oasis to be able to bootstrap itself based on the ocaml
> toolchain (at least IIRC that's what Sylvain advertised during his
> talk at the meeting).
>
> If I first need to install manually all what is listed in the
> Dependency section, it's going to be rather painful.

I wonder if you're not making a slight confusion here.
OASIS is not meant to install the dependencies by itself: it is not  
GODI.
OASIS is "just" meant to ease and standardize the installation process  
in an environment-independent way.
Maybe it can be seen more as an ocaml-dedicated replacement for the  
automake suite.

Or I'm the one who's mistaken... ;-)

V.

Re: [Caml-list] oasis & macosx

[Andrei Formiga]

On Wed, Apr 20, 2011 at 1:12 PM, Daniel Bünzli
<daniel.buenzli@erratique.ch> wrote:
>
> Anyway, taking the source and following the steps under the Installing
> section of INSTALL.txt fails (cf. the end of this email).
>
> I expected oasis to be able to bootstrap itself based on the ocaml
> toolchain (at least IIRC that's what Sylvain advertised during his
> talk at the meeting).
>
> If I first need to install manually all what is listed in the
> Dependency section, it's going to be rather painful.

Currently you have to install the dependencies, yes. I think Sylvain
is testing GODI packages for all dependencies, so it'll probably be
easy to install once the packages are in the current GODI tree.
Assuming you use GODI, of course.

>
> Btw. it is unclear from the documentation how and where oasis installs
> packages.
>

I believe it is based on the path returned by ocamlc -where

> Best,
>
> Daniel
>

-- 
[]s, Andrei Formiga

Re: [Caml-list] oasis & macosx

[Daniel Bünzli]

On Wed, Apr 20, 2011 at 17:25, Vincent Aravantinos
<vincent.aravantinos@gmail.com> wrote:
> I wonder if you're not making a slight confusion here.
> OASIS is not meant to install the dependencies by itself: it is not GODI.
> OASIS is "just" meant to ease and standardize the installation process in an
> environment-independent way.
> Maybe it can be seen more as an ocaml-dedicated replacement for the automake
> suite.

Maybe you are right. I find the documentation around oasis and
oasis-db rather confusing.

On Wed, Apr 20, 2011 at 17:36, Andrei Formiga <andrei.formiga@gmail.com> wrote:
> Currently you have to install the dependencies, yes. I think Sylvain
> is testing GODI packages for all dependencies, so it'll probably be
> easy to install once the packages are in the current GODI tree.
> Assuming you use GODI, of course.

I don't and won't, I don't like to lag behind compiler releases.

There's something I really don't understand here. oasis and oasis-db
are supposed to be able to manage ocaml packages. I don't wan't to
install another package manager to install the package manager. I also
don't understand why oasis needs findlib, since findlib manages
packages, or does ocaml-db use findlib to manage the packages ?

This is all rather confusing.

The experience I expected was, install the ocaml compilers, download
the oasis sources, compile them and that this would give me a system
to install ocaml packages and their dependencies.

> I believe it is based on the path returned by ocamlc -where

Well I don't like to believe, how packages are installed should be
documented somewhere. When things break you want to understand these
things.

Best,

Daniel

Re: [Caml-list] oasis & macosx

[Andrei Formiga]

On Wed, Apr 20, 2011 at 1:58 PM, Daniel Bünzli
<daniel.buenzli@erratique.ch> wrote:
>
> There's something I really don't understand here. oasis and oasis-db
> are supposed to be able to manage ocaml packages. I don't wan't to
> install another package manager to install the package manager. I also
> don't understand why oasis needs findlib, since findlib manages
> packages, or does ocaml-db use findlib to manage the packages ?
>
> This is all rather confusing.

As Vincent said, OASIS is not a package manager. It is a tool to
generate portable packages. OASIS-DB is the package manager/database.

The thing is, a package generated by ocaml will build with only the
official OCaml tools as dependencies. However, to generate a package
you need to install OASIS and it has dependencies on other packages.
So package authors need OASIS, but package users don't. This is
probably why you thought OASIS itself could be installed just with the
standard OCaml tools.

After OASIS-DB is up and running, a user will be able to download and
install any OCaml package that was built with OASIS without needing
anything other than the OCaml distribution. But it is not done yet.
That's what I believe are the goals of and boundaries between the
projects, anyway. With OASIS-DB working, I think it'll be possible to
install OASIS itself just with the standard distribution.


-- 
[]s, Andrei Formiga

Re: [Caml-list] oasis & macosx

[Edgar Friendly]

On 04/20/2011 12:25 PM, Török Edwin wrote:
> BTW isn't OASIS-DB supposed to have a way to download a package and all
> of its dependencies in one archive
It's not in a working state at the moment, but if anyone wants to help 
me build this, I've got a basic program to install packages (with their 
deps) off oasis-db's beta site(http://oasis.ocamlcore.org/dev/home).  
The program is at https://github.com/thelema/odb and requires only ocaml 
and findlib to run.  It works with oasis installers, omakefiles (omake 
&& omake install) and configure+makefile (./configure && make && make 
install).  It makes other undocumented assumptions in order to work 
correctly, so if you want more details on how to make your package 
auto-installable with it, let me know, and I'll work with you on it.

E

Re: [Caml-list] oasis & macosx

[ygrek]

On Wed, 20 Apr 2011 13:36:45 -0300
Andrei Formiga <andrei.formiga@gmail.com> wrote:

> On Wed, Apr 20, 2011 at 1:12 PM, Daniel Bünzli
> <daniel.buenzli@erratique.ch> wrote:
> >
> > Anyway, taking the source and following the steps under the Installing
> > section of INSTALL.txt fails (cf. the end of this email).
> >
> > I expected oasis to be able to bootstrap itself based on the ocaml
> > toolchain (at least IIRC that's what Sylvain advertised during his
> > talk at the meeting).
> >
> > If I first need to install manually all what is listed in the
> > Dependency section, it's going to be rather painful.

Currently yes - in order to use OASIS (the program) as a developer you need a handful of
dependencies. But Sylvain was working on oasis bundling - i.e. enabling
oasis-powered packages to be distributed in a single bundle with all the deps,
and once this goal is reached OASIS the program will be distributed as a bundle too.
Note that in order to use OASIS (the build system) as a consumer of an existing package no
dependencies (except those of the package itself) are required - ocaml setup.ml drives everything.

I for one want to see OASIS widely used primarily as a way to achieve portability of build systems
for ocaml libraries. It is rather ridiculous to see ocaml libraries (written in portable language)
not installable out of the box on windows or bsd just because the author used some dubious
bash tricks or relied on external binaries (with some specific cmdline flags handling). Also
simple C binding libs get build system right out of the box (and these proved to be a problem
for a newbies in the past).

> > Btw. it is unclear from the documentation how and where oasis installs
> > packages.
> >
> 
> I believe it is based on the path returned by ocamlc -where

OASIS uses findlib to install. So the path is `ocamlfind printconf destdir`

-- 
 ygrek
 http://ygrek.org.ua

Re: [Caml-list] oasis & macosx

[ygrek]

On Thu, 21 Apr 2011 08:58:21 +0300
ygrek <ygrekheretix@gmail.com> wrote:

> Currently yes - in order to use OASIS (the program) as a developer you need a handful of
> dependencies.

Oops, should read : 'in order to install OASIS the program'.

-- 
 ygrek
 http://ygrek.org.ua

[Caml-list] Re: oasis & macosx

[Sylvain Le Gall]

Hello,

I am offline until next tuesday (from time to time I need to take
vacation).

A very quick points about oasis:
- the documentation can be confusing, because I have written it and I
  probably know the system too much, ideally someone with no prior
  knowledge should review it to make it understandable by an oasis
  beginner (help are welcome on this point)
- oasis itself is a MakeMaker: it generates a standardize build system
  using existing tools (i.e. ocamlbuild or ocamlfind). This is not a
  replacement for findlib and it interact with it, so you can
  configure/build/install with non-oasis enabled package, using findlib.
- oasis-db is a place to upload packages that use oasis (and contain
  _oasis file). It provides a nice presentation and a central place to
  download dependencies (when they also use oasis, otherwise you have to
  do the job by hand)
- there should be a binary installer for easy install on MacOS X, but
  until recently I don't have a Mac at hand to do it. This is now fixed
  but I don't manage to have the time to learn how to make a package on
  MacOS X
- there is a debian package and a GODI package (for release line 3.11)
  available 
- my next task in oasis-db project is to create the subcommand "bundle"
  that will create self contained archive (i.e. oasis + its
  dependencies), but this is not done

I will answer any additional question next week. 

Cheers
Sylvain

On 20-04-2011, Daniel Bünzli <daniel.buenzli@erratique.ch> wrote:
> Hello,
>
> Is there any simple way to install oasis on macosx ?
>
> Thanks,
>
> Daniel
>
> -- 
> 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
>
>

Cheers,
Sylvain Le Gall
-- 
My company: http://www.ocamlcore.com
Linkedin:   http://fr.linkedin.com/in/sylvainlegall
Start an OCaml project here: http://forge.ocamlcore.org
OCaml blogs:                 http://planet.ocamlcore.org

Re: [Caml-list] Re: oasis & macosx

[Daniel Bünzli]

Sylvain,

Read that message after your vacations.

> - the documentation can be confusing, because I have written it and I
>  probably know the system too much, ideally someone with no prior
>  knowledge should review it to make it understandable by an oasis
>  beginner (help are welcome on this point)

I don't think that's a good idea. You built that system, you are the
one who knows it best and if you don't know how to explain it to
others we have a problem.

Unless I'm mistaken, at the moment there's no documentation about
oasis-db. There's this page :

http://oasis.forge.ocamlcore.org/oasis-db.html

and from this page the various links keep going back to documentation
about oasis (which is certainly why I got confused in the first
place). Nowhere is the general architecture of this system explained
to me. Nowhere is it written that findlib is used to install things
and where and how it uses findlib to installs things.

Maybe one problem is that the work around oasis seems to be thought in
terms of features and interoperability with other systems. None of
which are really essential to me. Personally my needs are pretty basic
*which doesn't mean they are easy to solve*. I want cabal install (and
uninstall) for ocaml both as a user and as a package publisher.

My opinion is that the system should be thought in terms of *experience*.

From the user perspective the experience I personally would like is :

1) Find a way to install the ocaml compilers
2) Download the oasis sources, compile them (don't ask me to install
other things).
3) You can now oasis install/uninstall the packages that are uploaded
in oasis-db

From the publisher perspective the experience looks right to me,
provide an _oasis file in your tarball, upload it on oasis-db. That's
it, your package is now installable with oasis.

 > - there should be a binary installer for easy install on MacOS X, but
>  until recently I don't have a Mac at hand to do it. This is now fixed
>  but I don't manage to have the time to learn how to make a package on
>  MacOS X

I don't think time should be lost on providing binary installers for
various platforms, this doesn't scale. Time should be spent on trying
to make oasis able to bootstrap itself based on the existence of an
ocaml install. This scales and makes oasis easy to install on every
platform where it will be needed.

Best,

Daniel

Re: [Caml-list] Re: oasis & macosx

[dmitry grebeniuk]

Hello.

>> - the documentation can be confusing, because I have written it and I
>>  probably know the system too much, ideally someone with no prior
>>  knowledge should review it to make it understandable by an oasis
>>  beginner (help are welcome on this point)
>
> I don't think that's a good idea. You built that system, you are the
> one who knows it best and if you don't know how to explain it to
> others we have a problem.

  Sometimes the author don't know what exactly users
do not understand, since the author himself understands his
creature very well.  Sometimes the author's plans do not match
the code exactly (for example, "there is <something> that I will
implement soon, but now we will live without it, but it will be
here very soon", or "I've implemented <something>, but it's
a temporary solution that will be removed").  If the system is
complex enough, I found that using the method "ask the dumb
user" is very good for writing basic documentation and FAQs
about the system.  Also this method helps to list all prerequisites
required for understanding the system.

  btw, I am the dumb user of oasis -- I just know that oasis and oasis-db
exist (and I've seen the output of oasis!), and I've written TWO Makefiles
today for my new (but very local) ocaml libraries.
  Sylvain, can I help you if I will be the dumb oasis user?

[Caml-list] Re: oasis & macosx

[Sylvain Le Gall]

Hello all,

Sorry for the very late reply on this thread. 

In gmane.comp.lang.caml.inria, you wrote:
>> - the documentation can be confusing, because I have written it and I
>>  probably know the system too much, ideally someone with no prior
>>  knowledge should review it to make it understandable by an oasis
>>  beginner (help are welcome on this point)
>
> I don't think that's a good idea. You built that system, you are the
> one who knows it best and if you don't know how to explain it to
> others we have a problem.
>

Unfortunately teaching (as in "being able to make other people
understand") and coding are two different things. I won't say that
I am a good teacher. I tend to go too fast in details, which is not a
good thing. The documentation already written reflect my style. As
you can see, I am far from being a perfect teacher ;-)

I will be glad to accept help from people that know how to teach,
hopefully this will even contribute to improve my own style.

> Unless I'm mistaken, at the moment there's no documentation about
> oasis-db. There's this page :
>
> http://oasis.forge.ocamlcore.org/oasis-db.html

Well, there is a preliminary work document here:
https://forge.ocamlcore.org/docman/view.php/54/123/Technical+specification.pdf

It gives detail on the infrastructure. But it is evolving as I code
oasis-db. Once the system will reach a stable status, I will publish a
more in-depth description of it.

>
> From the user perspective the experience I personally would like is :
>
> 1) Find a way to install the ocaml compilers
> 2) Download the oasis sources, compile them (don't ask me to install
> other things).
> 3) You can now oasis install/uninstall the packages that are uploaded
> in oasis-db

The point 2) will be solved by providing an oasis-bundle-XXX.tar.gz that
will contain oasis and its dependencies to be compiled in an easy way.

But to create the bundle, I use oasis-db... (see the bundle section in
the technical specification). I am working on this "bundle" subcommand
since yesterday.

>
> From the publisher perspective the experience looks right to me,
> provide an _oasis file in your tarball, upload it on oasis-db. That's
> it, your package is now installable with oasis.
>

At least, there is a good point ;-)

> > - there should be a binary installer for easy install on MacOS X, but
>>  until recently I don't have a Mac at hand to do it. This is now fixed
>>  but I don't manage to have the time to learn how to make a package on
>>  MacOS X
>
> I don't think time should be lost on providing binary installers for
> various platforms, this doesn't scale. Time should be spent on trying
> to make oasis able to bootstrap itself based on the existence of an
> ocaml install. This scales and makes oasis easy to install on every
> platform where it will be needed.
>

Creating binary installers is not a big deal once you know how to do
them. I am still a strong believer in binary distribution (i.e. Debian,
Fedora or binary installers). It tends to ease the adoption of a
program, especially by beginners who won't spend 30 minutes compiling
something.

For small programs and libraries, it should be easy to use source code
distribution. But people should be allowed to have binary counterpart
for some packages, especially for executables only (i.e. oasis, unison,
mldonkey). This kind of executables target people that are most of the
time 100% beginners in OCaml.

Cheers,
Sylvain Le Gall
-- 
My company: http://www.ocamlcore.com
Linkedin:   http://fr.linkedin.com/in/sylvainlegall
Start an OCaml project here: http://forge.ocamlcore.org
OCaml blogs:                 http://planet.ocamlcore.org

Re: [Caml-list] Re: oasis & macosx

[Daniel Bünzli]

Hello,

Trying to compile/install oasis by hand. Building odn fails as
follows. Any idea, I'm not much (at all, I should say) into camlp4 ?

Best,

Daniel

> ocaml setup.ml -build
I: Running command '/usr/local/bin/ocamlbuild src/odn.cma src/odn.cmxa
src/odn.a src/pa_noodn.cma src/pa_odn.cma tests/test.byte -tag debug'
Finished, 0 targets (0 cached) in 00:00:00.
+ ocamlfind ocamlc -c -g -package type-conv -package
camlp4.quotations.o -package camlp4.lib -syntax camlp4o -I src -I
type-conv-2.3.0/lib -o src/pa_odn.cmo src/pa_odn.ml
File "src/pa_odn.ml", line 207, characters 21-33:
Error: This expression has type
         Camlp4.PreCast.Ast.Loc.t ->
         Camlp4.PreCast.Ast.ctyp -> Camlp4.PreCast.Ast.expr
       but an expression was expected of type
         Camlp4.PreCast.Ast.Loc.t -> Camlp4.PreCast.Ast.ctyp -> 'a -> 'b
Command exited with code 2.
Compilation unsuccessful after building 12 targets (11 cached) in 00:00:00.
E: Command '/usr/local/bin/ocamlbuild src/odn.cma src/odn.cmxa
src/odn.a src/pa_noodn.cma src/pa_odn.cma tests/test.byte -tag debug'
terminated with error code 10

Re: [Caml-list] Re: oasis & macosx

[Gabriel Scherer]

[-- Attachment #1: Type: text/plain, Size: 1605 bytes --]

Which version of ocaml/camlp4 are you using ?
Which version of odn are you trying to build ?

On Mon, May 30, 2011 at 1:04 PM, Daniel Bünzli
<daniel.buenzli@erratique.ch>wrote:

> Hello,
>
> Trying to compile/install oasis by hand. Building odn fails as
> follows. Any idea, I'm not much (at all, I should say) into camlp4 ?
>
> Best,
>
> Daniel
>
> > ocaml setup.ml -build
> I: Running command '/usr/local/bin/ocamlbuild src/odn.cma src/odn.cmxa
> src/odn.a src/pa_noodn.cma src/pa_odn.cma tests/test.byte -tag debug'
> Finished, 0 targets (0 cached) in 00:00:00.
> + ocamlfind ocamlc -c -g -package type-conv -package
> camlp4.quotations.o -package camlp4.lib -syntax camlp4o -I src -I
> type-conv-2.3.0/lib -o src/pa_odn.cmo src/pa_odn.ml
> File "src/pa_odn.ml", line 207, characters 21-33:
> Error: This expression has type
>         Camlp4.PreCast.Ast.Loc.t ->
>         Camlp4.PreCast.Ast.ctyp -> Camlp4.PreCast.Ast.expr
>       but an expression was expected of type
>         Camlp4.PreCast.Ast.Loc.t -> Camlp4.PreCast.Ast.ctyp -> 'a -> 'b
> Command exited with code 2.
> Compilation unsuccessful after building 12 targets (11 cached) in 00:00:00.
> E: Command '/usr/local/bin/ocamlbuild src/odn.cma src/odn.cmxa
> src/odn.a src/pa_noodn.cma src/pa_odn.cma tests/test.byte -tag debug'
> terminated with error code 10
>
> --
> 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
>
>

[-- Attachment #2: Type: text/html, Size: 2382 bytes --]

Re: [Caml-list] Re: oasis & macosx

[Daniel Bünzli]

On 30 May 2011 13:15, Sylvain Le Gall <sylvain@le-gall.net> wrote:
> Hi, you use type-conv 2.3.0, which is not yet compatible with
> ocaml-data-notation...
>
> For now, I stick to type-conv 1.7.1. I really need to update it but
> ENOTENOUGH time for now....

The problem is that  type-conv 1.7.1 doesn't compile with ocaml 3.12...

Daniel

> make
ocamlc -c -w Ae -I +camlp4 pa_type_conv.mli
ocamlc -c -pp "camlp4orf " -w Ae -I +camlp4 pa_type_conv.ml
File "pa_type_conv.ml", line 349, characters 33-37:
Error: This expression has type
         Camlp4.PreCast.Syntax.Gram.token_info =
           Camlp4.PreCast.Gram.token_info
       but an expression was expected of type
         Camlp4.PreCast.Syntax.Loc.t = Camlp4.PreCast.Loc.t
make[1]: *** [pa_type_conv.cmo] Error 2
make: *** [all] Error 2

Re: [Caml-list] Re: oasis & macosx

[Till Varoquaux]

[-- Attachment #1: Type: text/plain, Size: 1660 bytes --]

In order to compile and oasis install on OS-x you will need:

_ To patch the makefile in file-utils. It calls [install] with -d
which is a gnu specific extension. It should probably use the install
bundled with configure but the patch I uploaded just makes the call
posix compatible.
_ To update ocaml-data-notation to compile with the new type-conv.
The patch also remove calls out to oasis during the compile (I used a
darcs checkout).

Till


On Mon, May 30, 2011 at 7:47 AM, Daniel Bünzli
<daniel.buenzli@erratique.ch> wrote:
> On 30 May 2011 13:15, Sylvain Le Gall <sylvain@le-gall.net> wrote:
>> Hi, you use type-conv 2.3.0, which is not yet compatible with
>> ocaml-data-notation...
>>
>> For now, I stick to type-conv 1.7.1. I really need to update it but
>> ENOTENOUGH time for now....
>
> The problem is that  type-conv 1.7.1 doesn't compile with ocaml 3.12...
>
> Daniel
>
>> make
> ocamlc -c -w Ae -I +camlp4 pa_type_conv.mli
> ocamlc -c -pp "camlp4orf " -w Ae -I +camlp4 pa_type_conv.ml
> File "pa_type_conv.ml", line 349, characters 33-37:
> Error: This expression has type
>         Camlp4.PreCast.Syntax.Gram.token_info =
>           Camlp4.PreCast.Gram.token_info
>       but an expression was expected of type
>         Camlp4.PreCast.Syntax.Loc.t = Camlp4.PreCast.Loc.t
> make[1]: *** [pa_type_conv.cmo] Error 2
> make: *** [all] Error 2
>
> --
> 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
>
>

[-- Attachment #2: odn-type-conv.patch --]
[-- Type: application/octet-stream, Size: 4839 bytes --]

diff -rN -u old-ocaml-data-notation/_oasis new-ocaml-data-notation/_oasis
--- old-ocaml-data-notation/_oasis	2011-05-30 09:37:24.000000000 -0400
+++ new-ocaml-data-notation/_oasis	2011-05-30 09:37:24.000000000 -0400
@@ -20,10 +20,10 @@
   FindlibParent:      odn
   FindlibContainers:  with
   FindlibName:        syntax
-  BuildDepends:       type-conv (>= 1.5.0), camlp4.lib, camlp4.quotations.o 
+  BuildDepends:       type-conv (>= 2.3.0), camlp4.lib, camlp4.quotations.o 
   CompiledObject:     byte
   XMETAType:          syntax
-  XMETARequires:      type-conv.syntax, camlp4, odn
+  XMETARequires:      type-conv, camlp4, odn
   XMETADescription:   Syntax extension for odn
 
 Library pa_noodn
@@ -35,7 +35,7 @@
   BuildDepends:       type-conv, camlp4.lib, camlp4.quotations.o 
   CompiledObject:     byte
   XMETAType:          syntax
-  XMETARequires:      type-conv.syntax, camlp4
+  XMETARequires:      type-conv, camlp4
   XMETADescription:   Syntax extension that removes 'with odn'
 
 Flag tests
diff -rN -u old-ocaml-data-notation/setup.ml new-ocaml-data-notation/setup.ml
--- old-ocaml-data-notation/setup.ml	2011-05-30 09:37:24.000000000 -0400
+++ new-ocaml-data-notation/setup.ml	2011-05-30 09:37:24.000000000 -0400
@@ -5348,9 +5348,9 @@
 let setup () = BaseSetup.setup setup_t;;
 
 
-let dev_t = {BaseDev.oasis_cmd = "oasis"; };;
+(*let dev_t = {BaseDev.oasis_cmd = "oasis"; };;
 
-let setup () = BaseDev.update_and_run dev_t;;
+let setup () = BaseDev.update_and_run dev_t;;*)
 
 (* OASIS_STOP *)
 let () = setup ();;
diff -rN -u old-ocaml-data-notation/src/META new-ocaml-data-notation/src/META
--- old-ocaml-data-notation/src/META	2011-05-30 09:37:24.000000000 -0400
+++ new-ocaml-data-notation/src/META	2011-05-30 09:37:24.000000000 -0400
@@ -31,7 +31,7 @@
  package "syntax" (
   version = "0.0.3"
   description = "Syntax extension that removes 'with odn'"
-  requires = "type-conv.syntax camlp4"
+  requires = "type-conv camlp4"
   archive(syntax,preprocessor) = "pa_noodn.cma"
   archive(syntax,toploop) = "pa_noodn.cma"
   exists_if = "pa_noodn.cma"
@@ -43,7 +43,7 @@
  package "syntax" (
   version = "0.0.3"
   description = "Syntax extension for odn"
-  requires = "type-conv.syntax camlp4 odn"
+  requires = "type-conv camlp4 odn"
   archive(syntax,preprocessor) = "pa_odn.cma"
   archive(syntax,toploop) = "pa_odn.cma"
   exists_if = "pa_odn.cma"
diff -rN -u old-ocaml-data-notation/src/pa_odn.ml new-ocaml-data-notation/src/pa_odn.ml
--- old-ocaml-data-notation/src/pa_odn.ml	2011-05-30 09:37:24.000000000 -0400
+++ new-ocaml-data-notation/src/pa_odn.ml	2011-05-30 09:37:24.000000000 -0400
@@ -199,7 +199,7 @@
     function
       | TyDcl (_loc, type_name, tps, rhs, _cl) ->
           let body = 
-            Gen.switch_tp_def _loc
+            Gen.switch_tp_def
               ~alias:odn_of_alias
               ~sum:odn_of_sum
               ~record:odn_of_record
@@ -225,7 +225,7 @@
   let _loc, recursive = 
     match tp with
       | TyDcl (_loc, type_name, _, rhs, _) -> 
-          _loc, Gen.type_is_recursive _loc type_name rhs
+          _loc, Gen.type_is_recursive type_name rhs
       | TyAnd (_loc, _, _) -> 
           _loc, true
       | _ -> assert false
diff -rN -u old-ocaml-data-notation/tests/test.ml new-ocaml-data-notation/tests/test.ml
--- old-ocaml-data-notation/tests/test.ml	2011-05-30 09:37:24.000000000 -0400
+++ new-ocaml-data-notation/tests/test.ml	2011-05-30 09:37:24.000000000 -0400
@@ -42,8 +42,8 @@
   let pa_noodn_cma =
     Filename.concat odn_path "pa_noodn.cma"
   in
-  let pa_type_conv_cmo = 
-    Filename.concat TestConf.pkg_type_conv_dir "pa_type_conv.cmo"
+  let pa_type_conv_cma = 
+    Filename.concat TestConf.pkg_type_conv_dir "pa_type_conv.cma"
   in
   let test_files (dir, fns) = 
     let nm =
@@ -69,7 +69,7 @@
                      print_endline ("File "^fn^": ");
                      assert_command
                        "camlp4o" 
-                       [pa_type_conv_cmo; pa_odn_cma; 
+                       [pa_type_conv_cma; pa_odn_cma; 
                         "Camlp4OCamlPrinter.cmo"; fn])
                   fns
               end;
@@ -77,7 +77,7 @@
             assert_command
               "ocamlfind"
               (["ocamlc"; "-g"; "-o"; "test"; "-I"; odn_path;
-                "-package"; "type-conv.syntax"; "-syntax";  "camlp4o";
+                "-package"; "type-conv"; "-syntax";  "camlp4o";
                 "-ppopt"; pa_odn_cma; "odn.cma"] @ fns)))
          (fun old_cwd ->
             rm 
@@ -165,7 +165,7 @@
               assert_command 
                 ~foutput
                 "camlp4o" 
-                [pa_type_conv_cmo; pa_noodn_cma; 
+                [pa_type_conv_cma; pa_noodn_cma; 
                  "Camlp4OCamlPrinter.cmo";
                  "tests/data/oasis-examples/OASISTypes.ml"]
          );

[-- Attachment #3: ocaml-fileutils-0.4.2.darwin-install.patch --]
[-- Type: application/octet-stream, Size: 569 bytes --]

diff -Naur ocaml-fileutils-0.4.2.fix/Makefile ocaml-fileutils-0.4.2/Makefile
--- ocaml-fileutils-0.4.2.fix/Makefile	2011-05-08 22:04:50.000000000 -0500
+++ ocaml-fileutils-0.4.2/Makefile	2011-05-08 22:05:03.000000000 -0500
@@ -72,8 +72,9 @@
 	  $(wildcard $(BUILDDIR)/fileutils-str.lib) \
 	  $(wildcard $(BUILDDIR)/*.cmx) 
 	$(INSTALL) -d $(htmldir)/api
-	$(INSTALL_DATA) -t $(htmldir)/api \
-	  $(wildcard $(BUILDDIR)/fileutils.docdir/*)
+	$(INSTALL_DATA) \
+	  $(wildcard $(BUILDDIR)/fileutils.docdir/*) \
+	  $(htmldir)/api
 
 uninstall:
 	-$(RM) -r $(htmldir)/api

[Caml-list] Re: oasis & macosx

[Sylvain Le Gall]

Hello,
On 30-05-2011, Till Varoquaux <till@pps.jussieu.fr> wrote:
>
> In order to compile and oasis install on OS-x you will need:
>
> _ To patch the makefile in file-utils. It calls [install] with -d
> which is a gnu specific extension. It should probably use the install
> bundled with configure but the patch I uploaded just makes the call
> posix compatible.

There is a new version of ocaml-fileutils (0.4.3) that uses oasis and
should solve this problem.

> _ To update ocaml-data-notation to compile with the new type-conv.
> The patch also remove calls out to oasis during the compile (I used a
> darcs checkout).

Need to apply it!

/me time to upgrade to 3.12

Cheers
Sylvain

-- 
My company: http://www.ocamlcore.com
Linkedin:   http://fr.linkedin.com/in/sylvainlegall
Start an OCaml project here: http://forge.ocamlcore.org
OCaml blogs:                 http://planet.ocamlcore.org

Re: [Caml-list] Re: oasis & macosx

[Daniel Bünzli]

On 30 May 2011 15:54, Till Varoquaux <till@pps.jussieu.fr> wrote:
> In order to compile and oasis install on OS-x you will need:
>
> _ To patch the makefile in file-utils. It calls [install] with -d
> which is a gnu specific extension. It should probably use the install
> bundled with configure but the patch I uploaded just makes the call
> posix compatible.

Thanks. That did it.

Daniel