diff options
| author | aarne <unknown> | 2004-04-02 12:23:48 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-04-02 12:23:48 +0000 |
| commit | 73c4fe8ddae261c02220d7b8205761210b61c3a8 (patch) | |
| tree | 7ebd9bd01a250fa20b432f0e2c3e5be696ec885a /src | |
| parent | f53f35978f4cd6b0e4c5e9123b5e88f04f6f4452 (diff) | |
Beta release.
Diffstat (limited to 'src')
| -rw-r--r-- | src/INSTALL | 43 | ||||
| -rw-r--r-- | src/Makefile | 14 |
2 files changed, 53 insertions, 4 deletions
diff --git a/src/INSTALL b/src/INSTALL new file mode 100644 index 000000000..1478a254f --- /dev/null +++ b/src/INSTALL @@ -0,0 +1,43 @@ +To make and install GF2 (Version 2-beta, 2/4/2004). + +1. Unpack GF2 and go to the source directory (the place where this + INSTALL file is!) + + tar tgz gf2-beta.tgz + cd GF2/src + +2. Make sure you have GHC (Glasgow Haskell Compiler), version 5.02 or later. + In Windows, you also need Cygwin. + + ghc --version + +3. Compile with make, either of + + make unix -- for Linux, Solaris, Mac OSX + make windows -- for MS Windows + + The binary is sent to the file GF2/bin/gf2 + +4. For a quick test: start GF2, load a grammar and parse a string: + + cd GF2/grammars/basic + ../../bin/gf2 + + -- when GF2 has started and shows the prompt >: + > p "every number is even or odd" + -- this is the response from GF2: + PredA1 (Every Number) (DisjA1 Even Odd) + +5. If you want to run the Java GUI, also do + + make install-java + + Then edit the file GF2/bin/jgf2 by changing + the value of GFHOME to the location of your GF2/bin directory. Test the + GUI with some grammars: + + cd GF2/grammars/letter + ../../bin/gf2 <mkLetter.gfs + ../../bin/jgf2 Letter.gfcm + +Author: Aarne Ranta, 2/4/2004 diff --git a/src/Makefile b/src/Makefile index cd66cc2ff..16754f517 100644 --- a/src/Makefile +++ b/src/Makefile @@ -7,7 +7,13 @@ GHCINCLUDEGFT=-iapi -icompile -igrammar -iinfra -ishell -isource -icanonical -iu WINDOWSINCLUDE=-ifor-windows -iapi -icompile -igrammar -iinfra -ishell -isource -icanonical -iuseGrammar -icf -iparsing -iparsers all: - make today ; make fud + make today ; make ghc +unix: + make nofud-links ; make ghc +windows: + make nofud-links ; make justwindows +install-java: + make javac ; cd ../bin ; ln -s ../src/java ; echo "PLEASE edit GFHOME in bin/jgf2" ghc: make nofud fud: @@ -15,9 +21,9 @@ fud: gft: $(GHMAKE) $(GHCFLAGS) $(GHCINCLUDENOFUD) -itranslate --make translate/GFT.hs -o gft ; strip gft ; mv gft ../bin/ nofud: - $(GHMAKE) $(GHCFLAGS) $(GHCINCLUDENOFUD) --make GF.hs -o gf2n ; strip gf2n ; mv gf2n ../bin/ -windows: - $(GHMAKE) $(GHCFLAGS) $(WINDOWSINCLUDE) --make GF.hs -o gf2w ; strip gf2w.exe ; mv gf2w.exe ../bin/ + $(GHMAKE) $(GHCFLAGS) $(GHCINCLUDENOFUD) --make GF.hs -o gf2 ; strip gf2 ; mv gf2 ../bin/ +justwindows: + $(GHMAKE) $(GHCFLAGS) $(WINDOWSINCLUDE) --make GF.hs -o gf2 ; strip gf2.exe ; mv gf2.exe ../bin/ nofud-links: cd for-ghc-nofud ; rm -f *.hs ; ln -s ../for-ghc/Arch.hs ; ln -s ../for-hugs/ArchEdit.hs ; cd .. batch: |