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

Can't run tutorial #39

Open
EmaPK opened this issue Jun 7, 2016 · 2 comments
Open

Can't run tutorial #39

EmaPK opened this issue Jun 7, 2016 · 2 comments

Comments

@EmaPK
Copy link

EmaPK commented Jun 7, 2016

I am trying to run the tutorial by running g++ src/gadgetlib2/examples/tutorial.hpp from the libsnark folder without success. I am working on Ubuntu 15, with g++-5.2.

The error is: tutorial.cpp:14:33: fatal error: gadgetlib2/gadget.hpp: No such file or directory.

If I change the line to a path relative to the cpp file e.g. #include "../gadget.hpp" then that error is fixed, but it starts to show the same error in a chain in the next file it finds pp.hpp:13:42: fatal error: common/default_types/ec_pp.hpp: No such file or directory

What am I doing wrong?

daira added a commit to daira/libsnark that referenced this issue Aug 21, 2016
@imolfar
Copy link

imolfar commented Jun 2, 2017

Same here.
@EmaPK you can get ec_pp.hpp here https://github.com/ebfull/hackishlibsnarkbindings/tree/master/libsnark/src/common/default_types
Though it's just beginning, there's lot more missing files : )
Also for relative path just add -Isrc flag.

@dcmiddle
Copy link
Contributor

I believe this PR will resolve the build issue within the current cmake approach.
#105

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

No branches or pull requests

4 participants