-
Notifications
You must be signed in to change notification settings - Fork 31
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
New build system #738
base: develop
Are you sure you want to change the base?
New build system #738
Conversation
b3d3fc2
to
5d6e5e1
Compare
I tried running the latest version on my Mac now. The
The To fix the problem with
Alternatively, we could use |
Hm. It would probably be better if we could avoid adding extra dependencies if we don't really need to. In this case we know that |
Yes, that worked for me (without the workaround). |
This PR implements an approach for #707, that should be much more concise than the previous approach, and that additionally supports two test runners:
make
andtup
.The PR is presently a draft, for two primary reasons:
mi tune
in particular appears to not respect the--output
flag, which will cause some issuesmake
,make clean
, andmake test
. The first two should work without issue, while the last should exhibit some test failures (feel free to look into the causes and add exceptions tomisc/test-spec.mc
if you have time and/or feel responsible for them, I don't necessarily have much time to look into it presently).install
,uninstall
,lint
,fix
, andcheat
.