Re: problems with SDF and ASF especifications

[jmi@columbo.inria.fr (Janet Bertot)]

In article <24580@sophia.inria.fr>, civilare@udc.es (Manuel Vilares Ferro) writes:
=> We have CENTAUR 1.1 and we try to work using the SDF and ASF+SDF
=> formalisms, but we have found some problems:
=>
[ stuff deleted ]
=> 
=> 2. Otherwise, the command "ctasdf" necessary to work with ASF+SDF and
=>    introduced in the Reference Manual vol. I "The ASF+SDF System pag. 12"
=>    DOES NOT EXIST.
=> 

While the core may not be on the tape you can generate the necessary 
core by going to the "centaur/sources" directory on your system and 
typing:
	ctmake ctasdf

After than has successful finished it can be installed where you'd
like going to the "centaur" directory and typing:
	ctmake install

There are details in the README file of the "centaur" directory.

Hope this helps.

	--janet






PS: i will leave the ASF + SDF questions to the appropriate experts ...