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

I got error when doing make piqi #11

Open
anzosasuke opened this issue Jan 2, 2023 · 4 comments
Open

I got error when doing make piqi #11

anzosasuke opened this issue Jan 2, 2023 · 4 comments

Comments

@anzosasuke
Copy link

~/Downloads/RESEARCH/Lab_ubuntu/gith/RES_NEW/gueb/src$ export PATH=$PATH:~/.opam/system/bin/ && make
make[1]: Entering directory '/home/a967a038/Downloads/RESEARCH/Lab_ubuntu/gith/RES_NEW/gueb/src'
ocamlfind ocamldep gueb.ml > ._d/gueb.d
ocamlfind ocamldep graph.ml > ._d/graph.d
ocamlfind ocamldep uafgroupbyuse.ml > ._d/uafgroupbyuse.d
ocamlfind ocamldep uafgroupbyalloc.ml > ._d/uafgroupbyalloc.d
ocamlfind ocamldep uafgroupbyfree.ml > ._d/uafgroupbyfree.d
ocamlfind ocamldep uafastree.ml > ._d/uafastree.d
ocamlfind ocamldep uafgenerique.ml > ._d/uafgenerique.d
ocamlfind ocamldep stubfunc.ml > ._d/stubfunc.d
ocamlfind ocamldep reil.ml > ._d/reil.d
ocamlfind ocamldep ir.ml > ._d/ir.d
ocamlfind ocamldep absenv3notop.ml > ._d/absenv3notop.d
ocamlfind ocamldep absenv2notop.ml > ._d/absenv2notop.d
ocamlfind ocamldep absenvnotop.ml > ._d/absenvnotop.d
ocamlfind ocamldep absenv3.ml > ._d/absenv3.d
ocamlfind ocamldep absenv2.ml > ._d/absenv2.d
ocamlfind ocamldep absenv.ml > ._d/absenv.d
ocamlfind ocamldep absenvgenerique.ml > ._d/absenvgenerique.d
ocamlfind ocamldep gueb_type.ml > ._d/gueb_type.d
ocamlfind ocamldep program_piqi.ml > ._d/program_piqi.d
ocamlfind ocamlopt -package piqirun.ext,piqilib,unix -c -w A -warn-error A program_piqi.ml
File "program_piqi.ml", line 62, characters 25-48:
62 | let rec parse_uint64 x = Piqirun.int64_of_varint x
                              ^^^^^^^^^^^^^^^^^^^^^^^
Error: Unbound module Piqirun
make[1]: *** [OCamlMakefile:1076: program_piqi.cmx] Error 2
make[1]: Leaving directory '/home/a967a038/Downloads/RESEARCH/Lab_ubuntu/gith/RES_NEW/gueb/src'
make: *** [OCamlMakefile:777: native-code] Error 2

how do i fix this?

@anzosasuke
Copy link
Author

same error. What is the fix? @montyly

@sh0ve1
Copy link

sh0ve1 commented Feb 11, 2023

same error. What is the fix? @anzosasuke @montyly

@sh0ve1
Copy link

sh0ve1 commented Feb 11, 2023

@anzosasuke
I solved this error by setting piqi=0.7.4
图片
图片
图片

@anzosasuke
Copy link
Author

@sh0ve1 I don't know how you got it, but I was not able to get it to work. I did got over the above error but encountered some other issues.

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

2 participants