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