Christophe Troestler
Christophe Troestler
It is 1. See https://github.com/ocaml/oasis2opam/issues/24 An alternative may be to add commands to the `opam` file to preserve (and then remove) the files. If `oasis2opam` becomes a plugin, `ocaml setup.ml...
On Fri, 7 Mar 2014 07:59:38 -0800, Ashish Agarwal wrote: > I want to do: > > mpp -set x=true foo.mpp > mpp -set x=false foo.mpp > > and then...
@pw374 ping?
I am not against it. What route should we follow for integration? Also, this will entail some changes to OASIS because, for example, functions added to `OASISVersion` (in the `Version`...
Ah, OK. I misunderstood, I thought you wanted `oasis2opam` to be merged into `oasis`.
My code depends on `Str`. When I try to execute the plugin, I get ``` E: Dynlink error while loading '2opam': error loading shared library: /home/trch/.opam/4.03.0/lib/ocaml/str.cmxa: invalid ELF header ```
On 2016-12-12, Sylvain Le Gall wrote: > > Can you publish your version to a branch, so that I can test it > myself ? Here is is: https://github.com/Chris00/oasis2opam/tree/plugin >...
It sort of works but I get a segfault if the state has to be synchronized. Way to reproduce: ``` rm ~/.opam/oasis2opam.cache oasis 2opam ``` The same happens when trying...
OK. Keep me posted about your progress — I can pin oasis when you are ready to test if you like.
I have the same problem — in my case with `.mldylib` — not `.mllib` — files. Annoying because I have 120 of such `.cmxs` to build...