Comments (7)
little-arhat
commented on June 7, 2024
Can't install ospec because of 'unbound module Topfind'.
Is it related this issue or I should create new?
opam install ospec
The following actions will be performed:
- install ospec.0.2.1
1 to install | 0 to reinstall | 0 to upgrade | 0 to downgrade | 0 to remove
=-=-= ospec.0.2.1 =-=-=
The archive for ospec.0.2.1 is in the local cache.
Extracting /Users/typhon/.opam/archives/ospec.0.2.1+opam.tar.gz ...
Build commands:
ocaml setup.ml -configure --prefix /Users/typhon/.opam/system
ocaml setup.ml -build
ocaml setup.ml -install
Uninstalling ospec.0.2.1 ...
The archive for ospec.0.2.1 is in the local cache.
Extracting /Users/typhon/.opam/archives/ospec.0.2.1+opam.tar.gz ...
The compilation of ospec.0.2.1 failed in /Users/typhon/.opam/system/build/ospec.0.2.1.
[ERROR] while installing ospec.0.2.1
= [RUN] "ocaml setup.ml -build"
= [CWD] "/Users/typhon/.opam/system/build/ospec.0.2.1"
... envs skipped...
= OPAM_MANPATH=/Users/typhon/.opam/system/man
= OCAML_TOPLEVEL_PATH=/Users/typhon/.opam/system/lib/toplevel
= CAML_LD_LIBRARY_PATH=/Users/typhon/.opam/system/lib/stublibs:/Users/typhon/.brew/lib/ocaml/stublibs
= _=/Users/typhon/bin/opam
= CAML_LD_LIBRARY_PATH=/Users/typhon/.opam/system/lib/stublibs:/Users/typhon/.brew/lib/ocaml/stublibs
=
. I: Running command '/Users/typhon/.brew/bin/ocamlbuild src/ospec.cma src/ospec.byte -tag debug'
. /Users/typhon/.brew/bin/ocamlopt.opt -I /Users/typhon/.brew/lib/ocaml/ocamlbuild unix.cmxa /Users/typhon/.brew/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /Users/typhon/.brew/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
. ocamlfind ocamldep -modules src/helpers.ml > src/helpers.ml.depends
. ocamlfind ocamldep -modules src/prop.mli > src/prop.mli.depends
. ocamlfind ocamldep -modules src/gen.ml > src/gen.ml.depends
. ocamlfind ocamlc -c -g -I src -I src -o src/gen.cmo src/gen.ml
. ocamlfind ocamlc -c -g -I src -I src -o src/prop.cmi src/prop.mli
. ocamlfind ocamldep -modules src/prop.ml > src/prop.ml.depends
. ocamlfind ocamldep -modules src/spec.mli > src/spec.mli.depends
. ocamlfind ocamlc -c -g -I src -I src -o src/spec.cmi src/spec.mli
. ocamlfind ocamldep -modules src/spec.ml > src/spec.ml.depends
. ocamlfind ocamldep -package camlp4.quotations -package camlp4.extend -syntax camlp4o -modules src/pa_spec.ml > src/pa_spec.ml.depends
. ocamlfind ocamldep -modules src/report.mli > src/report.mli.depends
. ocamlfind ocamlc -c -g -I src -I src -o src/report.cmi src/report.mli
. ocamlfind ocamldep -modules src/report.ml > src/report.ml.depends
. ocamlfind ocamlc -c -g -I src -I src -o src/helpers.cmo src/helpers.ml
. ocamlfind ocamlc -c -g -I src -I src -o src/prop.cmo src/prop.ml
. ocamlfind ocamlc -c -g -I src -I src -o src/spec.cmo src/spec.ml
. ocamlfind ocamlc -c -g -I src -package camlp4.quotations -package camlp4.extend -syntax camlp4o -I src -o src/pa_spec.cmo src/pa_spec.ml
. ocamlfind ocamlc -c -g -I src -I src -o src/report.cmo src/report.ml
. ocamlfind ocamlc -a src/helpers.cmo src/gen.cmo src/prop.cmo src/spec.cmo src/pa_spec.cmo src/report.cmo -o src/ospec.cma
. ocamlfind ocamldep -package findlib -modules src/ospec.ml > src/ospec.ml.depends
. ocamlfind ocamlc -c -g -I src -package findlib -I src -o src/ospec.cmo src/ospec.ml
. + ocamlfind ocamlc -c -g -I src -package findlib -I src -o src/ospec.cmo src/ospec.ml
. File "src/ospec.ml", line 6, characters 16-45:
. Error: Unbound module Toploop
. Command exited with code 2.
* E: Command '/Users/typhon/.brew/bin/ocamlbuild src/ospec.cma src/ospec.byte -tag debug' terminated with error code 10
'opam install ospec' failed
from opam-repository.
tuong
commented on June 7, 2024
It is indeed related because we have no error without the option "-no-topfind" (tested with https://github.com/tuong/opam-repository/tree/frederic-master ).
from opam-repository.
little-arhat
commented on June 7, 2024
So, according to https://github.com/OCamlPro/opam-repository/pull/35, opam doesn't use ocaml -I $OCAML_TOPLEVEL_PATH internally?
from opam-repository.
tuong
commented on June 7, 2024
Note : Without "-no-topfind", I have the same error with OCaml 4.00.0 (with 3.12.1, the installation works).
from opam-repository.
little-arhat
commented on June 7, 2024
Yes, i found it too: see ocaml-batteries-team/batteries-included#282 for explanation.
from opam-repository.
samoht
commented on June 7, 2024
Normally this issue does not exist anymore if you are not using the system compiler. If you are using the system compiler, you can modify you ~/.ocamlinit to load $OCAML_TOPLEVEL_PATH as done in https://github.com/OCamlPro/opam/blob/master/shell/dot_ocamlinit
from opam-repository.
Chris00
commented on June 7, 2024
IMHO, this later trick should be explained in the documentation, e.g. on http://opam.ocamlpro.com/doc/Quick_Install.html — this bug report should not be the first thing one finds when searching for "opam topfind".
from opam-repository.
Related Issues (20)
- OCaml 5.1.0 compiler fails to build on switch creation HOT 2
- omd archives HOT 5
- Question about OCaml Compiler Packages HOT 2
- ocaml-variants packages for windows do not work HOT 4
- prebuild 2.2-alpha3 opam binary failed to install ocaml under MSVC 2022 HOT 1
- add accept-failure to the solo5* packages failing due to -Werror HOT 2
- mysql8.1.0 fails to build on opam-ci debian-12-ocaml-5.1/amd64 HOT 1
- 'pkg-config': No such file or directory when running opam install dream on windows HOT 3
- add `result` to dependencies to a few packages HOT 3
- Fix dependency of soupault
- Integration tests using the gcc compiler mostly fail on MacOS HOT 1
- archives missing for: base32.1.0.0 cborl.0.1.0 HOT 1
- Stop mybuild generating CI noises HOT 3
- archive index not updating HOT 4
- readdir_with_kind_if_available_unix expects non-POSIX d_type HOT 2
- hevea URL changed. HOT 2
- session-cohttp-async.0.4.* was linking result transitively
- opam init fails to find zstd when compiling ocaml-base-compiler
- Installing llvm on macOS Sonoma 14.2.1 with M3 processor fails
- Installing conf-openblas 0.2.1 needs PKG_CONFIG_PATH extended.
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from opam-repository.