Error Cannot Find File Dynlink.cmxa
Sign in Pricing Blog Support Search GitHub This repository Watch 29 Star 160 Fork 378 ocaml/opam-repository Code Issues 61 Pull requests 21 Projects 0 Wiki Pulse Graphs New issue camlp4 failures on 4.03.2+32bit #4911 Closed dbuenzli opened this Issue Oct 1, 2015 · 5 comments Projects None yet Labels None yet Milestone No milestone Assignees No one assigned 4 participants dbuenzli commented Oct 1, 2015 Error: Cannot find file dynlink.cmxa Indeed there is no such file in the OCaml install. I'm unsure whether this is a problem with the 4.03.2+32bit switch or a failure of the camlp4 package to find out that dynlink is not available in that switch. dbuenzli commented Oct 6, 2015 Can anybody offer a hint for a fix ? Developing without ocp-indent is becoming painful (ocp-indent -> ocp-build -> camlp4). I tried to compile camlp4 manually but even doing a ./configure make byte Fails in trying to compile the opt versions: ocamlbuild -classic-display -no-ocamlfind `./build/camlp4-byte-only.sh` + echo camlp4/Camlp4.cmo camlp4/Camlp4Top.cmo camlp4/camlp4prof.byte camlp4/mkcamlp4.byte camlp4/camlp4.byte camlp4/camlp4fulllib.cma camlp4/camlp4boot.byte camlp4/camlp4boot.cma camlp4/camlp4r.byte camlp4/camlp4r.cma camlp4/camlp4rf.byte camlp4/camlp4rf.cma camlp4/camlp4o.byte camlp4/camlp4o.cma camlp4/camlp4of.byte camlp4/camlp4of.cma camlp4/camlp4oof.byte camlp4/camlp4oof.cma camlp4/camlp4orf.byte camlp4/camlp4orf.cma camlp4/Camlp4Parsers/Camlp4AstLoader.cmo camlp4/Camlp4Parsers/Camlp4DebugParser.cmo camlp4/Camlp4Parsers/Camlp4GrammarParser.cmo camlp4/Camlp4Parsers/Camlp4ListComprehension.cmo camlp4/Camlp4Parsers/Camlp4MacroParser.cmo camlp4/Camlp4Parsers/Camlp4OCamlOriginalQuotationExpander.cmo camlp4/Camlp4Parsers/Camlp4OCamlParser.cmo camlp4/Camlp4Parsers/Camlp4OCamlParserParser.cmo camlp4/Camlp4Parsers/Camlp4OCamlReloadedParser.cmo camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.cmo camlp4/Camlp4Parsers/Camlp4OCamlRevisedParserParser.cmo camlp4/Camlp4Parsers/Camlp4OCamlRevisedQuotationExpander.cmo camlp4/Camlp4Parsers/Camlp4QuotationCommon.cmo camlp4/Camlp4Parsers/Camlp4QuotationExpander.cmo camlp4/Camlp4Printers/Camlp4AstDumper.cmo camlp4/Camlp4Printers/Camlp4AutoPrinter.cmo camlp4/Ca
here for a quick overview of the site Help Center Detailed answers to any questions you might have Meta Discuss the workings and policies of this site About Us Learn more about Stack Overflow the company Business Learn more about hiring developers or posting ads with us Stack Overflow Questions Jobs Documentation Tags Users Badges Ask Question x Dismiss Join the Stack Overflow Community Stack Overflow is a community of 4.7 million programmers, just like you, helping each other. Join them; it only takes a minute: Sign up Opa build failure https://github.com/ocaml/opam-repository/issues/4911 under OS X Lion up vote 2 down vote favorite 1 I've been wanting to get my hands dirty with Opa, but had been really feeling the lack of a REPL, which is my weapon of choice in coming to terms with a new language. Lo and behold, the Opa Blog mentioned a tool called opatop which appeared to be just that, but it doesn't http://stackoverflow.com/questions/6962388/opa-build-failure-under-os-x-lion seem to be included the standard Mac or Ubuntu distributions. I trekked over to GitHub, grabbed the source, and started building, but I'm getting the same error mentioned here: + /opt/local/bin/ocamlopt.opt dynlink.cmxa unix.cmxa str.cmxa nums.cmxa -g threads.cmxa -thread -I +zip zip.cmxa -I +ocamlgraph graph.cmxa -I /opt/local/lib/ocaml/ulex ulexing.cmxa buildinfos.cmxa libbase.cmxa compilerlib.cmxa libtrx.cmxa opacapi.cmxa passlib.cmxa libqmlcompil.cmxa jslang.cmxa ocamllang.cmxa libbsl.cmxa libbsl/bslregister.cmx opalang.cmxa -o libbsl/bslregister.native File "_none_", line 1, characters 0-1: Error: Cannot find file dynlink.cmxa Command exited with code 2. I know next to nothing about OCaml development, but it looks like other files with the same extension in the relevant library directory are "OCaml native library files". Given that, is this just a library that wasn't included in the OCaml distribution I ended up with? The Mantis bug referenced in the link above makes it look as though there may be conflicting assumptions about build environments at work. Regardless, can anyone offer any advice? Thanks! osx-lion opa share|improve this question asked Aug 5 '11 at 20:41 dfreeman 2,12721223 add a comment| 2 Answers 2 active oldest votes up vote 2 down vote accepted OCaml isn't built with native dynlink for Lion yet, so dynlink.cmxa
[ thread ] [ subject ] http://lists.gforge.inria.fr/pipermail/why3-club/2012-February/000168.html [ author ] On 3 Feb 2012, at 19:32, Francois Bobot wrote: > Sorry, it requires *at least* 3.11.2. 3.12.1 is just fine. If you have > 3.12.1 I don't understand the bug which occurs. Have you been able to > compile error cannot the trunk? Just in order to be sure that will work for the > next release. > > git clone git://scm.gforge.inria.fr/why3/why3.git Compilation fails on the trunk. Here is what configure returns: Summary ----------------------------------------- OCaml version : 3.12.1 OCaml library path : error cannot find /Users/schmitta/godi/lib/ocaml/std-lib Verbose make : no Why IDE : yes Why bench tool : yes Why documentation : no Coq support : yes Version : 8.3pl2 Lib : /Users/schmitta/godi/lib/coq Plugin support : no (not yet implemented) Realization support : yes FP arithmetic : yes TPTP parser : yes Menhir library : no hypothesis selection : yes profiling : no localdir : no But the linking at the end fails: Linking bin/why3.opt File "_none_", line 1, characters 0-1: Error: Cannot find file dynlink.cmxa make: *** [bin/why3.opt] Error 2 Alan Previous message: [Why3-club] plugins on OS X Next message: [Why3-club] Problem with type definition Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] More information about the Why3-club mailing list