From 89de318ebd04705c1ce393b734ae00b9d38e2424 Mon Sep 17 00:00:00 2001 From: Doni Pracner Date: Fri, 18 Jul 2014 17:09:08 +0200 Subject: [PATCH] project README is now md --- README.md | 69 +++++++++++++++++++++++++++++++++++++++++++++++++++++- README.txt | 68 ----------------------------------------------------- 2 files changed, 68 insertions(+), 69 deletions(-) mode change 120000 => 100644 README.md delete mode 100644 README.txt diff --git a/README.md b/README.md deleted file mode 120000 index c3ca074..0000000 --- a/README.md +++ /dev/null @@ -1 +0,0 @@ -README.txt \ No newline at end of file diff --git a/README.md b/README.md new file mode 100644 index 0000000..8014c16 --- /dev/null +++ b/README.md @@ -0,0 +1,68 @@ +MJC2WSL - convert MicroJava Compiled Bytecode to WSL/FermaT +=========================================================== + +mjc2wsl is distributed under the GPL licence, for more details check the src +folder. More about the tools can be found in the "docs" folder. + + +Quick build and test +-------------------- + +Running ant in the folder should compile the tool as well as the MJ compiler +and then do a test - compile all of the sample MicroJava codes into MJ +bytecode, translate them to WSL and then apply the given transformations in +MetaWSL to the programs. + +Look in the "docs" folder for more details about running the available ant +tasks. + + +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 + +- FermaT for running the translated examples and applying the transformations +(FermaT Maintanance Environment can be used) +Downloads available at http://www.cse.dmu.ac.uk/~mward/fermat.html + + +Setting the FermaT dir +---------------------- + +The ant build script assumes that Fermat is in "C:/fermat3" under Windows +and "~/fermat3" for everything else (Linux/Mac...). + +If you need to change this you can rename (or copy) the given file +"custom.properties.default" to "custom.properties" and specify a correct +path for your system. + + +About MicroJava +--------------- + +This is a simple language made by H. Mössenböck for a Compiler Construction +course. It is NOT the same as Java Micro Edition (JavaME) used on mobile +phones. + +For details about the language and the version used in this project check +out the "docs" folder. + +More about the course, the language and its VM: +http://www.ssw.uni-linz.ac.at/Misc/CC/ + +A functional compiler is distributed in the lib folder for ease of testing +and evaluating. Check the folder for further details. + + +Contact +------- + +Project home: +http://perun.dmi.rs/pracner/transformations + +Feel free to contact Doni Pracner if you have any problems, ideas +or suggestions. \ No newline at end of file diff --git a/README.txt b/README.txt deleted file mode 100644 index 8014c16..0000000 --- a/README.txt +++ /dev/null @@ -1,68 +0,0 @@ -MJC2WSL - convert MicroJava Compiled Bytecode to WSL/FermaT -=========================================================== - -mjc2wsl is distributed under the GPL licence, for more details check the src -folder. More about the tools can be found in the "docs" folder. - - -Quick build and test --------------------- - -Running ant in the folder should compile the tool as well as the MJ compiler -and then do a test - compile all of the sample MicroJava codes into MJ -bytecode, translate them to WSL and then apply the given transformations in -MetaWSL to the programs. - -Look in the "docs" folder for more details about running the available ant -tasks. - - -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 - -- FermaT for running the translated examples and applying the transformations -(FermaT Maintanance Environment can be used) -Downloads available at http://www.cse.dmu.ac.uk/~mward/fermat.html - - -Setting the FermaT dir ----------------------- - -The ant build script assumes that Fermat is in "C:/fermat3" under Windows -and "~/fermat3" for everything else (Linux/Mac...). - -If you need to change this you can rename (or copy) the given file -"custom.properties.default" to "custom.properties" and specify a correct -path for your system. - - -About MicroJava ---------------- - -This is a simple language made by H. Mössenböck for a Compiler Construction -course. It is NOT the same as Java Micro Edition (JavaME) used on mobile -phones. - -For details about the language and the version used in this project check -out the "docs" folder. - -More about the course, the language and its VM: -http://www.ssw.uni-linz.ac.at/Misc/CC/ - -A functional compiler is distributed in the lib folder for ease of testing -and evaluating. Check the folder for further details. - - -Contact -------- - -Project home: -http://perun.dmi.rs/pracner/transformations - -Feel free to contact Doni Pracner if you have any problems, ideas -or suggestions. \ No newline at end of file -- 2.25.1