Hello.
I've asked about ocamlbuild on irc, but without any success,
so I'll try to ask in caml-list now.
Has anybody tried to compile OCaml + Coq project with ocamlbuild?
Here is an attempt to make plugin:
https://bitbucket.org/gds/ocamlbuild-coq-attempt
, but the plugin doesn't work as
Hello.
Has anybody tried to compile OCaml + Coq project with ocamlbuild?
Maybe you can share myocamlbuild.ml rules for such compilation?
(I already wrote simple rule on %.v - %.ml, but dependencies'
discovering is killing me, so I'm asking here, maybe there are some
ready solutions.)
I know
Hello.
1. Disable the @responsefile feature and provide a command line
flag to reenable it.
Nice transition scheme, but I'd prefer a flag in
OCAMLRUNPARAM environment variable, if/when
such scheme will be approved/implemented.
btw, still no problems with disabled @responsefile
Hello.
Do head -1 prog to see the right ocamlrun.
Thank you, this really helped, but in the other way.
I've found that this executable has ELF format.
So, this is a -custom linked bytecode executable.
But I can't find anywhere in the documentation
any information about whether can I /
Hello.
So, this is a -custom linked bytecode executable.
Thanks for clarifications about -custom and dynamic loading.
ocamlc -o myrun -make-runtime unix.cma
Then ./myrun prog should work (provided that Unix is the only missing
lib).
Yes, it works (fails on the next required library).
Hello.
The OCaml manual states that executing bytecode program
with ./prog and ocamlrun ./prog should give the same result
(in simple case, without options and environment modifications).
However in my case the result is different: ./prog executes
well, but ocamlrun ./prog gives
Fatal error:
Hello.
- You can't login to the MinGW shell to allow remote builds via ssh.
I can get most of the
required functionality by setting environment variables and calling
the MinGW's sh.exe
explicitly, but it would be useful to have instructions on how this should go.
To allow remote builds
Hello.
Also you can use overbld project at
http://overbld.sourceforge.net/ , it provides windows-style
installers both for binary and source distribution of
OCaml/mingw, and it also contains a bunch of useful
ocaml libraries and tools. (direct http links for
downloading installers are provided
Hello.
Realistically, there is just no easy way to install Ocaml on Windows
from what I've learned.
Can ever exist any easier way than to download a windows
installer, run it, follow the usual next-next-next-finish
procedure and use OCaml with findlib, oasis and many
useful libraries
Hello.
It uses bind and return, but I'm very unsure
whether the code can be called monadic IO,
since lwt itself does not respect the monad laws.
What monadic laws lwt does not respect ?
Lwt sees values of type Lwt.t not as IO actions,
but sometimes as the values of these actions.
It
Hello.
Error: This type scheme cannot quantify 'b :
it escapes this scope.
The answer is unfortunately short: there is no solution.
Thank you for the definitive and quick answer!
Namely recursive types in ocaml must be regular.
I.e., they must expand to a finite graph.
In particular
11 matches
Mail list logo