* [Caml-list] Ocaml on AIX
@ 2004-06-29 12:40 Thomas Fischbacher
2004-06-29 14:03 ` John Goerzen
0 siblings, 1 reply; 6+ messages in thread
From: Thomas Fischbacher @ 2004-06-29 12:40 UTC (permalink / raw)
To: caml-list
Dear OCaml hackers,
we are about to do an exact symbolic calculation of enormous size (it
could even be the largest one performed by mankind so far, I don't know)
which comes from superstring theory. We do this in Ocaml, using as much
of the algebraic structure as possible, and hence implemented quite many
algorithmic tricks in the code which give us a performance boost of a
factor of about 300 over the already highly optimized but more generic
"symbol cruncher" FORM term manipulation program.
We might have an opportunity to use the supercomputer of a german plasma
physics research institution for this, but this particular machine runs
AIX on PowerPCs, _probably_ with somewhat out-dated software on it, so I
suppose I would have quite a hard time installing an ocaml compiler on it.
Hence, before I write an application for computing resources on that
machine, I'd like to ask if there is anyone out there who could compile
my code for AIX (needs ocaml 2.07.2a and libnums-ocaml 3.07)?
--
regards, tf@cip.physik.uni-muenchen.de (o_
Thomas Fischbacher - http://www.cip.physik.uni-muenchen.de/~tf //\
(lambda (n) ((lambda (p q r) (p p q r)) (lambda (g x y) V_/_
(if (= x 0) y (g g (- x 1) (* x y)))) n 1)) (Debian GNU)
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [Caml-list] Ocaml on AIX
2004-06-29 12:40 [Caml-list] Ocaml on AIX Thomas Fischbacher
@ 2004-06-29 14:03 ` John Goerzen
2004-06-29 17:14 ` Thomas Fischbacher
0 siblings, 1 reply; 6+ messages in thread
From: John Goerzen @ 2004-06-29 14:03 UTC (permalink / raw)
To: Thomas Fischbacher; +Cc: caml-list
On Tue, Jun 29, 2004 at 02:40:15PM +0200, Thomas Fischbacher wrote:
> Hence, before I write an application for computing resources on that
> machine, I'd like to ask if there is anyone out there who could compile
> my code for AIX (needs ocaml 2.07.2a and libnums-ocaml 3.07)?
You should be aware that ocamlopt does not presently work on AIX. So
the best you could do would be bytecode (though if compiled with
-custom, you could still achieve a standalone binary).
Actually, it may be possible to make ocamlopt work on AIX 4.x, but we
have 5.1 over here.
-- John
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [Caml-list] Ocaml on AIX
2004-06-29 14:03 ` John Goerzen
@ 2004-06-29 17:14 ` Thomas Fischbacher
2004-06-29 18:05 ` John Goerzen
0 siblings, 1 reply; 6+ messages in thread
From: Thomas Fischbacher @ 2004-06-29 17:14 UTC (permalink / raw)
To: John Goerzen; +Cc: caml-list
On Tue, 29 Jun 2004, John Goerzen wrote:
> On Tue, Jun 29, 2004 at 02:40:15PM +0200, Thomas Fischbacher wrote:
> > Hence, before I write an application for computing resources on that
> > machine, I'd like to ask if there is anyone out there who could compile
> > my code for AIX (needs ocaml 2.07.2a and libnums-ocaml 3.07)?
>
> You should be aware that ocamlopt does not presently work on AIX. So
> the best you could do would be bytecode (though if compiled with
> -custom, you could still achieve a standalone binary).
Oh dear, that's bad news.
> Actually, it may be possible to make ocamlopt work on AIX 4.x, but we
> have 5.1 over here.
What are the problems with AIX 5.*?
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [Caml-list] Ocaml on AIX
2004-06-29 17:14 ` Thomas Fischbacher
@ 2004-06-29 18:05 ` John Goerzen
0 siblings, 0 replies; 6+ messages in thread
From: John Goerzen @ 2004-06-29 18:05 UTC (permalink / raw)
To: Thomas Fischbacher; +Cc: caml-list
On Tue, Jun 29, 2004 at 07:14:07PM +0200, Thomas Fischbacher wrote:
> > You should be aware that ocamlopt does not presently work on AIX. So
> > the best you could do would be bytecode (though if compiled with
> > -custom, you could still achieve a standalone binary).
>
> Oh dear, that's bad news.
>
> > Actually, it may be possible to make ocamlopt work on AIX 4.x, but we
> > have 5.1 over here.
>
> What are the problems with AIX 5.*?
I don't recall exactly, but ocamlopt would refuse to build due to signal
handling problems for me. The Inria folks have just (within the past
few days) announced that they will deprecate AIX support in ocamlopt.
You may want to search the recent archives of this list for more info.
-- John
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
^ permalink raw reply [flat|nested] 6+ messages in thread
* Bytecode run on AIX - "unknown C primitive" error
@ 2010-01-19 20:31 Dawid Toton
2010-01-20 9:20 ` [Caml-list] " Christoph Bauer
0 siblings, 1 reply; 6+ messages in thread
From: Dawid Toton @ 2010-01-19 20:31 UTC (permalink / raw)
To: caml-list
I have installed part of this OCaml port
http://home.arcor.de/chr_bauer/ocaml-aix.html
on a computer running on AIX. It seems that everything built correctly
except ocamlopt. So I have ocamlrun and standard library and this should
be enough for bytecode to run.
I have to build the bytecode on a different machine (because it's
difficult to do on AIX). I believe this shouldn't induce any problems.
Trivial bytecode executes correctly regardless where it is created.
I set LIBPATH to point to ocaml/stublibs and try running some bytecode
uning Unix module. This results in:
Fatal error: unknown C primitive `unix_getsockopt_bool'
If I compile simple "let _ = Unix.sleep 1" on the target machine, I get
bytecode that causes ocamlrun to crash with:
Illegal instruction (core dumped)
Does anybody have an idea for workaround? Some understanding what's
going on?
I'm using AIX 5.3
Dawid
^ permalink raw reply [flat|nested] 6+ messages in thread
* RE: [Caml-list] Bytecode run on AIX - "unknown C primitive" error
2010-01-19 20:31 Bytecode run on AIX - "unknown C primitive" error Dawid Toton
@ 2010-01-20 9:20 ` Christoph Bauer
2010-01-20 18:18 ` Dawid Toton
0 siblings, 1 reply; 6+ messages in thread
From: Christoph Bauer @ 2010-01-20 9:20 UTC (permalink / raw)
To: Dawid Toton, caml-list
unfortunatly I haven't a solution for the bytecode stuff. I only use
ocaml with native compiled code. This works very well.
Christoph Bauer
> From: caml-list-bounces@yquem.inria.fr
> [mailto:caml-list-bounces@yquem.inria.fr] On Behalf Of Dawid Toton
> Sent: Tuesday, January 19, 2010 9:32 PM
> To: caml-list@yquem.inria.fr
> Subject: [Caml-list] Bytecode run on AIX - "unknown C primitive" error
>
> I have installed part of this OCaml port
> http://home.arcor.de/chr_bauer/ocaml-aix.html
> on a computer running on AIX. It seems that everything built
> correctly except ocamlopt. So I have ocamlrun and standard
> library and this should be enough for bytecode to run.
>
> I have to build the bytecode on a different machine (because
> it's difficult to do on AIX). I believe this shouldn't induce
> any problems.
>
> Trivial bytecode executes correctly regardless where it is created.
>
> I set LIBPATH to point to ocaml/stublibs and try running some
> bytecode uning Unix module. This results in:
> Fatal error: unknown C primitive `unix_getsockopt_bool'
>
> If I compile simple "let _ = Unix.sleep 1" on the target
> machine, I get bytecode that causes ocamlrun to crash with:
> Illegal instruction (core dumped)
>
> Does anybody have an idea for workaround? Some understanding
> what's going on?
>
> I'm using AIX 5.3
>
> Dawid
>
> _______________________________________________
> 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
>
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [Caml-list] Bytecode run on AIX - "unknown C primitive" error
2010-01-20 9:20 ` [Caml-list] " Christoph Bauer
@ 2010-01-20 18:18 ` Dawid Toton
2010-01-22 11:24 ` Christoph Bauer
0 siblings, 1 reply; 6+ messages in thread
From: Dawid Toton @ 2010-01-20 18:18 UTC (permalink / raw)
To: caml-list
> unfortunatly I haven't a solution for the bytecode stuff. I only use
> ocaml with native compiled code. This works very well.
>
Native code would also be sufficient (to save me from translating lot of
code to C).
The problem is that the assembler available on AIX doesn't unserstand
power-aix.S:
as -o power-aix.o power-aix.S
Assembler:
power-aix.S: line 103: 1252-023 The symbol .caml_garbage_collection is
not defined.
power-aix.S: line 103: 1252-087 The target of the branch instruction
must be a relocatable or external expression.
power-aix.S: line 457: 1252-023 The symbol caml_young_limit is not defined.
power-aix.S: line 457: 1252-040 The specified expression is not valid.
Make sure that all symbols are defined.
Check the rules on symbols used in an arithmetic expression
concerning relocation.
...... (many similar messages)
How have you obtained running ocamlopt?
Dawid
^ permalink raw reply [flat|nested] 6+ messages in thread* RE: [Caml-list] Bytecode run on AIX - "unknown C primitive" error
2010-01-20 18:18 ` Dawid Toton
@ 2010-01-22 11:24 ` Christoph Bauer
2010-01-27 15:10 ` [Caml-list] OCaml on AIX Dawid Toton
0 siblings, 1 reply; 6+ messages in thread
From: Christoph Bauer @ 2010-01-22 11:24 UTC (permalink / raw)
To: Dawid Toton, caml-list
> The problem is that the assembler available on AIX doesn't unserstand
> power-aix.S:
>
> as -o power-aix.o power-aix.S
> Assembler:
> power-aix.S: line 103: 1252-023 The symbol
> .caml_garbage_collection is not defined.
> power-aix.S: line 103: 1252-087 The target of the branch instruction
> must be a relocatable or external expression.
> power-aix.S: line 457: 1252-023 The symbol caml_young_limit
> is not defined.
> power-aix.S: line 457: 1252-040 The specified expression is not valid.
> Make sure that all symbols are defined.
> Check the rules on symbols used in an arithmetic expression
> concerning relocation.
> ...... (many similar messages)
Please try:
$ cd asmrun
$ cpp -DSYS_aix power-aix.S > power-aix.s
$ as -u power-aix.s
$ cd ..
$ make opt
Christoph Bauer
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [Caml-list] OCaml on AIX
2010-01-22 11:24 ` Christoph Bauer
@ 2010-01-27 15:10 ` Dawid Toton
2010-04-19 14:56 ` Christoph Bauer
0 siblings, 1 reply; 6+ messages in thread
From: Dawid Toton @ 2010-01-27 15:10 UTC (permalink / raw)
To: caml-list
Christoph Bauer pisze:
> Please try:
>
> $ cd asmrun
> $ cpp -DSYS_aix power-aix.S > power-aix.s
> $ as -u power-aix.s
> $ cd ..
> $ make opt
>
> Christoph Bauer
>
>
Apparently I can go directly without preprocessor (and cpp I have on the
AIX machine doesn't like asm syntax):
$ cp power-aix.S power-aix.s
$ as -u -o power-aix.o power-aix.s
$ cd ..
$ gmake opt
So I get working native code.
The remaining problem is that camlp4 crashes on some Unix call when
preprocessing. I solved it by preprocessing all the code on another machine.
Thank you for your help.
Dawid
^ permalink raw reply [flat|nested] 6+ messages in thread
* RE: [Caml-list] OCaml on AIX
2010-01-27 15:10 ` [Caml-list] OCaml on AIX Dawid Toton
@ 2010-04-19 14:56 ` Christoph Bauer
0 siblings, 0 replies; 6+ messages in thread
From: Christoph Bauer @ 2010-04-19 14:56 UTC (permalink / raw)
To: caml-list; +Cc: Dawid Toton, Slavcho Nikolov, Sylvain Le Gall
Dawid wrote:
> So I get working native code.
> The remaining problem is that camlp4 crashes on some Unix call when preprocessing. I solved it by preprocessing all > the code on another machine.
I looked again into that problem. ocamlrun opens a DLL (dllunix.so)
and this dll trys to use symbols from ocamlrun (caml_alloc_string).
Unfortunatly this doesn't work.
The easiest solution is, to link ocamlrun agains libcamlrun_shared.so and to
set an internal libpath.
Download it from here:
http://home.arcor.de/chr_bauer/ocaml-aix.html
Christoph Bauer
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2010-04-19 14:57 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-06-29 12:40 [Caml-list] Ocaml on AIX Thomas Fischbacher
2004-06-29 14:03 ` John Goerzen
2004-06-29 17:14 ` Thomas Fischbacher
2004-06-29 18:05 ` John Goerzen
2010-01-19 20:31 Bytecode run on AIX - "unknown C primitive" error Dawid Toton
2010-01-20 9:20 ` [Caml-list] " Christoph Bauer
2010-01-20 18:18 ` Dawid Toton
2010-01-22 11:24 ` Christoph Bauer
2010-01-27 15:10 ` [Caml-list] OCaml on AIX Dawid Toton
2010-04-19 14:56 ` Christoph Bauer
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox