On Dec 17, 2011, at 22:50 , Andrej Bauer wrote:
I tried to use Oasis on one of my projects. I got stuck at the very
begining. I am on MacOS, there is no binary installer, and no
instructions for MacOS users. It told me a bunch of dependencies were
unsatisfied when I tried to compile. It
on
Cortex-A8.
Testers and feedback welcome.
greets,
Benedikt
[1]
https://github.com/downloads/bmeurer/ocaml-arm/ocaml-arm-3.12.1+20111218.diff.bz2
[2] https://github.com/bmeurer/ocaml-arm
[3] https://github.com/bmeurer/ocaml-arm/wiki
--
Caml-list mailing list. Subscription management
On Dec 18, 2011, at 12:57 , Benedikt Meurer wrote:
On Dec 13, 2011, at 21:39 , Benedikt Meurer wrote:
- Support for both softfp and VFPv3-D16 (if present).
- Properly supports interworking with Thumb/Thumb-2 code (for both OCaml and
C code!)
- Supports dynamic linking and large memory
How many bells whistles would we have to make a try it web page? A
pretty CSS, a bit of javascrip to avoid submitting forms, and it could
look like an actual toplevel.
Like Thomas and Fabrice said, I am currently working on a Try it web
page. I am using Jérôme Vouillon's toplevel [1] and try
Hi Benedikt
On Sun, Dec 18, 2011 at 1:08 PM, Benedikt Meurer
benedikt.meu...@googlemail.com wrote:
[1]
https://github.com/downloads/bmeurer/ocaml-arm/ocaml-arm-3.12.1+20111218-benchmark.pdf
Could you by any chance give the execution time (one should be enough
since we have the ratio
and with
which ocamlrun
you get the info, which one is used.
Ciao,
Oliver
On Sun, Dec 18, 2011 at 01:30:25PM +0900, Jacques Garrigue wrote:
This basically means that you have 2 ocamlrun on this machine.
./prog calls ocamlrun with a fixed path, but the 1st ocamlrun is your
path is an
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 /
Am Sonntag, den 18.12.2011, 17:39 +0200 schrieb Dmitry Grebeniuk:
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
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).
On Dec 18, 2011, at 15:50 , Alexandre Pilkiewicz wrote:
Hi Benedikt
Hey Alexandre,
[1]
https://github.com/downloads/bmeurer/ocaml-arm/ocaml-arm-3.12.1+20111218-benchmark.pdf
Could you by any chance give the execution time (one should be enough
since we have the ratio) and measurement
Am Sonntag, den 18.12.2011, 18:40 +0200 schrieb Dmitry Grebeniuk:
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
Am 18.12.2011 um 20:46 schrieb Ashish Agarwal agarwal1...@gmail.com:
On Sun, Dec 18, 2011 at 4:35 AM, Benedikt Meurer
benedikt.meu...@googlemail.com wrote:
the OASIS port is named caml-oasis.
Please try to transition to the consistent name OCaml, a decision made at
the 2011 OCaml Users
On 18 Dec 2011, at 20:01, Benedikt Meurer wrote:
Am 18.12.2011 um 20:46 schrieb Ashish Agarwal agarwal1...@gmail.com:
On Sun, Dec 18, 2011 at 4:35 AM, Benedikt Meurer
benedikt.meu...@googlemail.com wrote:
the OASIS port is named caml-oasis.
Please try to transition to the consistent
Maybe you could use Jérome Diminio's utop, which provide automatic
completion in the top level. The great difficulty is just to adapt ncurses
to javascript..
Le 18 déc. 2011 15:43, Çagdas Bozman cagdas.boz...@ocamlpro.com a
écrit :
How many bells whistles would we have to make a try it web
Le dimanche 18 décembre 2011 à 21:26 +0100, Pierre-Alexandre Voye a
écrit :
Maybe you could use Jérome Diminio's utop, which provide automatic
completion in the top level. The great difficulty is just to adapt
ncurses to javascript..
Do not try to adapt ncurses to javascript... By the way UTop
Hi all,
2011/12/12 Alain Frisch al...@frisch.fr:
The mingw port of OCaml was not in a good shape, because of changes in
Cygwin:
- We used to rely on the normal Cygwin gcc compiler, using the
-mno-cygwin flag. This is no longer available for recent versions
of gcc shipped in Cygwin.
Hi all,
2011/12/12 Mehdi Dogguy me...@dogguy.org:
On 12/12/2011 11:59 AM, Benedikt Meurer wrote:
On Dec 12, 2011, at 11:21 , Xavier Leroy wrote:
- It complicates the lives of OCaml users, packagers, and
3rd-party library developers: what version should they use? what
will be the basis for
17 matches
Mail list logo
