Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: "DESMONS Bertrand" <bertrand.desmons@umh.ac.be>
To: caml-list@yquem.inria.fr
Subject: [Caml-list] flexlink + lacaml (lapack)
Date: Tue, 7 Apr 2009 16:56:24 +0200 (DFT)	[thread overview]
Message-ID: <1491.86.208.86.61.1239116185.squirrel@86.208.86.61> (raw)

Hello,

Compiling a little program using Lacaml (in a cygwin shell) gives me the
error:

| acer@PC~/UMH/Master 2
| $ ocamlfind ocamlc -package lacaml -linkpkg d.ml
| ** Fatal error: Error while reading c:/cygwin/lib\liblapack.a:
Sys_error("Invali
| d argument")
| File "d.ml", line 1, characters 0-1:
|Error: Error while building custom runtime system

Here is the file d.ml:

| open Lacaml.Impl.D
|
| let f x = add x one
|
| let () =
|   let i = 3. in
|   let n = f i in
|   print_float n


Verbosing the compilation command gives:

| acer@PC~/UMH/Master 2
| $ ocamlfind ocamlc -package lacaml -linkpkg -verbose d.ml
| Effective set of compiler predicates:
pkg_bigarray,pkg_lacaml.core,pkg_lacaml,au
| tolink,byte
| + ocamlc.opt -verbose -I c:/Program Files/Objective
Caml/lib/site-lib/lacaml -cc
| opt -I"c:/Program Files/Objective Caml/lib/site-lib/lacaml" -ccopt
-L"c:/Program
|  Files/Objective Caml/lib/site-lib/lacaml" C:/Program Files/Objective
Caml/lib\b
| igarray.cma c:/Program Files/Objective
Caml/lib/site-lib/lacaml\lacaml.cma d.ml
| + flexlink -chain mingw -exe -o "camlprog.exe"   "-Lc:/Program
Files/Objective C
| aml/lib/site-lib/lacaml" "-LC:\Program Files\Objective Caml\lib"
"C:\DOCUME~1\ac
| er\LOCALS~1\Temp\camlprim6b3257.c" "-llacaml_stubs" "-llapack" "-lblas"
"-lbigar
| ray" "-lcamlrun" -lws2_32 -I"c:/Program Files/Objective
Caml/lib/site-lib/lacaml
| " -L"c:/Program Files/Objective Caml/lib/site-lib/lacaml" -Lc:/cygwin/lib
| ** Fatal error: Error while reading c:/cygwin/lib\liblapack.a:
Sys_error("Invali
| d argument")
| File "d.ml", line 1, characters 0-1:
| Error: Error while building custom runtime system
| ocamlc.opt returned with exit code 2

The file in question does exist, as Ocaml can read it:

        Objective Caml version 3.11.0

Findlib has been successfully loaded. Additional directives:
  #require "package";;      to load a package
  #list;;                   to list the available packages
  #camlp4o;;                to load camlp4 (standard syntax)
  #camlp4r;;                to load camlp4 (revised syntax)
  #predicates "p,q,...";;   to set these predicates
  Topfind.reset();;         to force that packages will be reloaded
  #thread;;                 to enable threads

# let input = open_in "C:/cygwin/lib\\liblapack.a";;
val input : in_channel = <abstr>
# let str = input_line input;;
val str : string = "!<symlink>liblapack.dll.a\000"
# let str = input_line input;;
Exception: End_of_file.
# close_in input;;
- : unit = ()
# input;;
- : in_channel = <abstr>
#

So the problem seems to come from flexlink...
I have no idea of what happens... It worked when I was with OCaml 3.10.2...

Of course, I recompiled all the necessary when passing to 3.11. I'm
running Windows XP, and as said above, compiling under Cygwin (but OCaml
is the Win32/MinGW one).

Thank you for any suggestions,

Bertrand Desmons



             reply	other threads:[~2009-04-07 14:57 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2009-04-07 14:56 DESMONS Bertrand [this message]
2009-04-07 15:31 ` Alain Frisch

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1491.86.208.86.61.1239116185.squirrel@86.208.86.61 \
    --to=bertrand.desmons@umh.ac.be \
    --cc=caml-list@yquem.inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox