Skip to content
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.

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

Already on GitHub? Sign in to your account

webidl.o not found in opam installation #3

Open
tari3x opened this issue Apr 15, 2020 · 1 comment
Open

webidl.o not found in opam installation #3

tari3x opened this issue Apr 15, 2020 · 1 comment

Comments

@tari3x
Copy link

tari3x commented Apr 15, 2020

I wrote an example app using webidl, and I am now trying to compile it using dune. My dune file looks like this:

(executables
 (names main)
 (libraries core async webidl ppx_deriving.runtime)
 (preprocess
  (pps ppx_jane ppx_deriving)))

I then sadly get the error:

gcc: error: /home/avatar/.opam/4.09.0/lib/webidl/webidl.o: No such file or directory

Which is correct, that file isn't there. The directory only contains

./META
./webidl.cmx
./webidl.cmt
./webidl.cmi
./webidl.cmo

Am I trying to use this incorrectly?

@tari3x
Copy link
Author

tari3x commented Apr 15, 2020

Indeed, once I manually compiled webidl and copied the .o file over to the opam directory, everything worked fine.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant