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

Lem 194778e #597

Merged
merged 2 commits into from Jan 9, 2019

Conversation

Projects
None yet
2 participants
@formrre
Copy link
Contributor

formrre commented Jan 8, 2019

Regenerates the scripts generated from lem files using the latest lem master and removes unused lem stubs.

@formrre

This comment has been minimized.

Copy link
Contributor

formrre commented Jan 9, 2019

This looks like it has been regenerated correctly, but Holmakefiles are broken if lem setup is done differently. Probably abort the regression test, I need to make them more robust.

@formrre formrre closed this Jan 9, 2019

@formrre

This comment has been minimized.

Copy link
Contributor

formrre commented Jan 9, 2019

or not it seems to generate the same files at the moment with a different import order, and the setup might need to be just documented
so for future use I leave it here as a comment, while building lem, be certain to do make install so that lem finds all the paths correctly

@formrre formrre reopened this Jan 9, 2019

@xrchz xrchz merged commit b19ca63 into master Jan 9, 2019

1 check was pending

cakeml-regression-test regression test in progress
Details

@xrchz xrchz deleted the lem-194778e branch Jan 9, 2019

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