X-Git-Url: http://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.git;a=blobdiff_plain;f=README.md;h=352eb6728fa98a7133eaa76ba482ab05454597bf;hp=938e849707269ffcf01daa8b89dcdbbf42f69891;hb=fe1bfd73d2ccac1c35625815fe85080ff1a0f50a;hpb=2eca86bb543c5baa04e8a1b741e5b80b6fb75951 diff --git a/README.md b/README.md index 938e849..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 ----------------------