This shows you the differences between two versions of the page.
|
hekate:varda [2008/02/29 15:11] wojnicki shell explanation added |
hekate:varda [2019/06/27 15:49] |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== Intro ====== | ||
| - | Varda (//Visual ARD Rapid Development Alloy//) is a prototype design tool for ARD+ in Prolog. | ||
| - | * For ARD+ syntax see [[hekate:bib:hekate_bibliography#gjn2008flairs-ardformal-submitted]] | ||
| - | * For Varda description see [[hekate:bib:hekate_bibliography#gjn2008flairs-ardprolog-submitted]] | ||
| - | ====== Getting it ====== | ||
| - | TARBALL wanted FIXME | ||
| - | |||
| - | |||
| - | ====== News ====== | ||
| - | * **2008.2.29** VARDA goes {{:hekate:gplv3.png|GPLv3}} | ||
| - | * **2008.1.28** tph+ard display and collapse. | ||
| - | * **2008.1.26-7** preliminary HML export added, use 'axg.' | ||
| - | |||
| - | |||
| - | ====== Quickstart ====== | ||
| - | You need | ||
| - | * GNU bash as a default Bourne shell (''/bin/sh'') -- this is not true in Ubuntu!!! they have dash, change it -- just uninstall it | ||
| - | * SWI Prolog | ||
| - | * GraphViz | ||
| - | * ImageMagick | ||
| - | |||
| - | To use it: | ||
| - | cd varda | ||
| - | ./varda | ||
| - | |||
| - | You can load an example model from the cmdline: | ||
| - | ./varda therm-model.pl | ||
| - | |||
| - | In Varda, try ''vardahelp.'' | ||
| - | |||
| - | While working in Varda you are in the pure SWI shell, just use Prolog :-) | ||
| - | |||
| - | ====== Devel ====== | ||
| - | ===== CVS Access ===== | ||
| - | The code in currently in the CVS at charon. | ||
| - | It has a restricted access. | ||
| - | One has to be in the //hades// group. | ||
| - | This includes the team working on tools and examples. | ||
| - | |||
| - | To check out, use: | ||
| - | export CVSROOT=:ext:kinio@charon.ia.agh.edu.pl/mnt/cvs/cvs-hades | ||
| - | export CVS_RSH=ssh | ||
| - | cvs co varda | ||
| - | Put your user name instead of ''kinio''. | ||
| - | |||
| - | ===== XML support ===== | ||
| - | Property removal during transform. | ||
| - | <del>Modified ''varda_model'' look for ''FIXED4XML''. | ||
| - | ''sar.'' works, but painfully, ''shi.'' ok, ''gax'' seems ''ok'' :-) | ||
| - | --- //[[gjn@agh.edu.pl|Grzegorz J. Nalepa]] 2008/01/26 15:27//</del> works fine --- //[[wojnicki@agh.edu.pl|Igor Wojnicki]] 2008/01/28 02:07// | ||
| - | |||
