8000 error with opam install · Issue #1 · rbardou/toudou · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

error with opam install #1

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service a 8000 nd privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
ACoquereau opened this issue Jun 17, 2023 · 2 comments
Open

error with opam install #1

ACoquereau opened this issue Jun 17, 2023 · 2 comments

Comments

@ACoquereau
Copy link

While trying to install toudou with opam install . I got :

⊘ removed   ocaml-options-vanilla.1
∗ installed ocaml-options-vanilla.1
⬇ retrieved toudou.~dev  (git+file:///home/albin/toudou#master)
[ERROR] The compilation of toudou.~dev failed at "dune subst".

#=== ERROR while compiling toudou.~dev ========================================#
# context     2.1.2 | linux/x86_64 | ocaml-base-compiler.4.14.0 | pinned(git+file:///home/albin/toudou#master#a15be25b)
# path        ~/.opam/default/.opam-switch/build/toudou.~dev
# command     ~/.opam/opam-init/hooks/sandbox.sh build dune subst
# exit-code   1
# env-file    ~/.opam/log/toudou-15025-ef3698.env
# output-file ~/.opam/log/toudou-15025-ef3698.out
### output ###
# Error: The project name is not defined, please add a (name <name>) field to
# your dune-project file.



<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
┌─ The following actions failed
│ λ build toudou ~dev
└─
@rbardou
Copy link
Owner
rbardou commented Jun 18, 2023

That's odd, there is a name here: https://github.com/rbardou/toudou/blob/master/dune-project#L10

Which version of dune and opam are you using?

Does dune build work?

@ACoquereau
Copy link
Author

I used opam version 2.1.2, with ocaml-base-compiler.4.14.0 and dune version 3..7.1

dune build works fine and I am able to compile and use your tool.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@rbardou @ACoquereau
0