Hi Peter, I don't know why Gast is not included. The problem becomes worse because on other platforms Clean 3.0 uses Gast from SVN, which is outdated (https://gitlab.science.ru.nl/clean-and-itasks/gast/issues/15).
I see two clean options: 1. Use Gast from git. Your students would have to run the following to install Gast and Platform: > curl > https://ftp.cs.ru.nl/Clean/builds/macos-x64/clean-lib-platform-macos-x64-latest.tgz > | tar xzv --strip-components=1 -C $CLEAN_HOME> curl https://ftp.cs.ru.nl/Clean/builds/macos-x64/clean-lib-gast-macos-x64-latest.tgz | tar xzv --strip-components=1 -C $CLEAN_HOME Note that the git version has changed compared to that on SVN. You need to change the import to Gast (with a capital) instead of gast. With that change I can compile the solution for StdDurationTest, but other modules may depend on other things in Gast which changed, of course. To compile, your student needs to also add Platform to the clm invocation: -I ../lib/Gast -I ../lib/Platform 2. Use Gast from SVN. Your students would have to run: > svn export https://svn.cs.ru.nl/repos/gast/trunk $CLEAN_HOME/lib/gast You'll have to workaround the above-mentioned issue with the outdated version of Gast, but I suppose you already have a solution for that because the same problem exists on other platforms. If you have access to the SVN repository you could add the missing instances before suggesting the svn export call to your students. Good luck, Camil On 9/24/19 2:38 PM, Peter Achten wrote: > Hi Clean-team, > > One of my students asked the following question (StdDurationTest is a > module I ask them to implement, it uses Gast): > > ------------------ > > /Hello,/ > > /I tried to compile StdDurationTest.icl, however I run into troubles/ > > /make > clm -l -no-pie -ms -I ../lib/Gast -I ../lib/ArgEnv -I ../lib/StdLib > StdDurationTest -o StdDurationTest.o > Error [StdDurationTest.icl,11]: gast.dcl could not be imported > make: *** [all] Error 1 > > Apparently, there's no folder named 'Gast' in my clean 'lib' directory. > What is gast and how could I use it?/ > > /I am using Clean 3.0 for macOS (10.14.6) therefore I can only use > command line./ > > ------------------ > > I don't own a Mac, so I can't answer my student. However, I did notice > that the Clean 3.0 distribution of the MacOS > (https://ftp.cs.ru.nl/Clean/Clean30/macosx/clean3.0.zip) does not have a > Gast folder. > > How should (or shouldn't) MacOS users use Gast? > > Thank you, > Peter > > > > _______________________________________________ > clean-list mailing list > [email protected] > https://mailman.science.ru.nl/mailman/listinfo/clean-list >
signature.asc
Description: OpenPGP digital signature
_______________________________________________ clean-list mailing list [email protected] https://mailman.science.ru.nl/mailman/listinfo/clean-list
