Skip to content

Conversation

@ashalkhakov
Copy link
Contributor

This contains some minimal changes making it possible to produce Windows-native binaries from ATS2 source programs. Please see this thread for more details.

Please don't merge as of yet.

@ashalkhakov
Copy link
Contributor Author

Simple programs in doc/TESTATS and doc/INTRO work (in the latter, sieve_lazy and sieve_llazy don't compile due to the missing libgc).

Status of doc/EXAMPLE tests:

- ATSLIB mostly works (except for a few programs)
- INTRO, MISC, TESTATS: everything works
@cr1901
Copy link

cr1901 commented Nov 2, 2019

@ashalkhakov Has there been any progress on this since April? ATS2 is the only reason I still use Cygwin and if it's possible to get rid of it and run ATS via MSYS2, that would be great :D!

@ashalkhakov
Copy link
Contributor Author

@cr1901 I started working somewhat on ATS/Temptory and now I'm busy with other things. I suggest we do a poll in the Google Group about this project, if there is interest I'll resume working on it. Thoughts?

@cr1901
Copy link

cr1901 commented Nov 5, 2019

@ashalkhakov I doubt such a poll will get much interest I'm afraid, and I can only passively dedicate time to ATS right now :(. But thanks for the update!

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants