-
Notifications
You must be signed in to change notification settings - Fork 8
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
main.out not being generated? #65
Comments
Hey, here are the steps we run on CI to get the test to build and run: https://github.com/pure-c/purec/blob/1b7ff43cc011efd4ebb44cfa389e16a7ca954c60/.github/workflows/main.yml. Have you run |
Hey, thanks for the quick reply. I did run
Interestingly, when I run |
Looks like the C tests and all tests in the tests/ directory are passing fine, and the problem appears to be with the upstream tests. After running the above do you see a ".tmp" directory? Should be in "/home/meeshkan-abel/mike/purec/.tmp", if so what are the contents? |
Actually, the only reason I'm running the tests is to get a sense of how to put together a |
Yes I should really add that kind of documentation. The tests/ are actually independent of the rest in the project in the sense that they are an example of how to set up a project. You just have your spago.dhall as you always would but for now point the upstream packages to the packages.dhall bundled with purec and in your Makefile (or via environment variables) set the PUREC_DIR to where purec is checked out and that should pretty much be it. I am still thinking about a better way to "ship" the tool, perhaps via npm to make this process easier. I also should upload the package set so there's no need to point to the local check out. I just chose to focus on other issues first. |
Actually, all of the contrib libs are compiled using purec. They are all set up like described above. So if you, for example checkout pure-c/purescript-foldable-traversable you could see their Makefile and build and test the project there, too. https://github.com/pure-c/purescript-foldable-traversable. Here's the example contents of a fully functional Makefile CFLAGS = -O0 -g3
include $(PUREC_DIR)/mk/target.mk
$(eval $(call purs_mk_target,main,Test.Main,src test))
check: main_leakcheck
.PHONY: check |
Sounds good! I can do that. Another thing that would be helpful from a documentation perspective is how to get the C-equivalent of |
Good idea. The tests already feature this as an example: https://github.com/pure-c/purec/blob/next/tests/11-effects/src/Main.h. |
When running
npm t
, I'm receiving the following error.I'm wondering if I'm doing something wrong in the setup? Thanks for your help!
The text was updated successfully, but these errors were encountered: