gitweb on Svarog
projekti pod git sistemom za održavanje verzija -- projects under the git version control systemdiff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
- java JDK for compiling and running the mjc2wsl tool and the MJ compiler
- ant for building and testing
- java JDK for compiling and running the mjc2wsl tool and the MJ compiler
- ant for building and testing
- - ant-contrib tasks are needed for some of the tasks
+ - ant-contrib tasks are needed for some of the tasks
- FermaT for running the translated examples and applying the transformations
- FermaT for running the translated examples and applying the transformations
- (FermaT Maintanance Environment can be used)
+ (FermaT Maintenance Environment can be used)
Downloads available at http://www.cse.dmu.ac.uk/~mward/fermat.html
Check the docs folder for a more detailed tutorial on how to install
FermaT under Linux.
Downloads available at http://www.cse.dmu.ac.uk/~mward/fermat.html
Check the docs folder for a more detailed tutorial on how to install
FermaT under Linux.
+This project should work correctly regardless of operating
+system, that is it should work fine if you have the above
+requirements setup properly (java-ant-fermat).
+
+It should be noted that although everything *should* work
+on Windows or Mac or whatever else can run the dependencies,
+it is only (at this point) extensively tested under Linux.
+Feel free to ask about problems running it, suggestions for
+improving the platform Independence are welcome.
+
Setting the FermaT dir
----------------------
Setting the FermaT dir
----------------------