Re: No Gast on MacOS in Clean3.0?

Camil Staps <[email protected]> Wed, 25 Sep 2019 09:06:48 +0200
Newsgroups	gmane.comp.lang.clean
Message-ID	<[email protected]>
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
>

_______________________________________________
clean-list mailing list
[email protected]
https://mailman.science.ru.nl/mailman/listinfo/clean-list
signature.asc (application/pgp-signature, 833 B)