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

brew / apt system installed acton fails with missing include file #326

Closed
plajjan opened this issue Sep 29, 2021 · 0 comments · Fixed by #327
Closed

brew / apt system installed acton fails with missing include file #326

plajjan opened this issue Sep 29, 2021 · 0 comments · Fixed by #327
Assignees
Labels
bug Something isn't working build system
Milestone

Comments

@plajjan
Copy link
Contributor

plajjan commented Sep 29, 2021

kll@Boxy:~$ actonc hello.act --root main
In file included from /tmp/actonc-011a0bf606970d6b/out/types/hello.h:2,
                 from /tmp/actonc-011a0bf606970d6b/out/types/hello.c:1:
/usr/lib/acton/builtin/builtin.h:16:10: fatal error: ../stdlib/src/__builtin__.h: No such file or directory
   16 | #include "../stdlib/src/__builtin__.h"
      |          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
compilation terminated.
ERROR: internal compiler error: compilation of generated C code failed
NOTE: this is likely a bug in actonc, please report this at:
NOTE: https://github.com/actonlang/acton/issues/new?template=ice.md
NOTE: acton 0.6.3 compiled by ghc 8.10 on linux x86_64
NOTE: cc: cc (Debian 10.3.0-11) 10.3.0
@plajjan plajjan added bug Something isn't working build system labels Sep 29, 2021
@plajjan plajjan added this to the Base milestone Sep 29, 2021
@plajjan plajjan self-assigned this Sep 29, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working build system
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant