X-Git-Url: http://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.git;a=blobdiff_plain;f=README.md;h=352eb6728fa98a7133eaa76ba482ab05454597bf;hp=8c5b612daccf61a3b792692f7f39b70c9a8a8192;hb=fe1bfd73d2ccac1c35625815fe85080ff1a0f50a;hpb=74e65f87b5a2927cc66448a1e53a5a00b1f2522c diff --git a/README.md b/README.md index 8c5b612..352eb67 100644 --- a/README.md +++ b/README.md @@ -22,15 +22,25 @@ Requirements - 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 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. +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 ----------------------