Zeta is the closest available thing to CZT
 * written in Java, or an extension of Java called Pizza, actually,
 * modular so that other tools can be plugged in,
 * accepts the draft Z standard, etc.

So it is worth taking a look at the design, or the source etc.

However, Zeta was written using an older version of Pizza (0.39)
which did not work with Java 1.3.  I have now managed to get
it compiling and enclose the instructions in case anyone else
wants to try adding modules to it.  (The compilation process is
still quite long, because several tools, JDK, ANT, Pizza, must be
downloaded and installed before Zeta can be compiled).

Note that you can RUN Zeta without doing all this.
Just go to the website ( http://uebb.cs.tu-berlin.de/zeta ),
download zetadist1_5.class, then type:  java zetadist1_5
It comes with excellent HTML documentation about its design
too, which would probably interest many CZT members.

Anyway, here are the instructions.

0. Make sure you have Java (I used jdk1.3.1_01) installed.

1. Install ANT (a Java make-like system) from jakarta.apache.org
   Follow its installation instructions.  This is needed to
   compile Pizza (which is needed to compile Zeta!).

2. Install the latest Pizza compiler sources from the CVS repository
   at pizzacompiler.sf.net
   (The Pizza 1.0 release contains bugs that prevent Zeta compiling).

   The following commands will do this:
   (When prompted for a password for anonymous, simply press the Enter key)

      SERVER=cvs.pizzacompiler.sourceforge.net
      cvs -d:pserver:anonymous@$SERVER:/cvsroot/pizzacompiler login 
      cvs -z3 -d:pserver:anonymous@$SERVER:/cvsroot/pizzacompiler co pizza 

   Now compile pizza (in the top-level directory, where build.xml is):

      cd pizza
      PIZZA_HOME=$(pwd)
CLASSPATH=$PIZZA_HOME/bootstrap/pizza_ant.jar:$PIZZA/bootstrap/pizzaself.jar 
      export CLASSPATH
      ant    

3. Download and install JavaCC 2.1 (yacc for Java) from www.webgain.com
   In fact, you will end up getting it from the following address.
   It's free, but you need to register first.

      http://www.webgain.com/products/java_cc


4. Download the Zeta binary and source distributions from 

      http://uebb.cs.tu-berlin.de/zeta

   Install the binary version of Zeta:

      java zetadist1_5          then follow the instructions.

   Unpack the src distribution into the Zeta directory created
   by the Zeta binary-install above:

      cd zeta-1.5       (or wherever you put it)
      jar xvf zetadistsrc.jar

   Now we must edit all the *.pizza source files so that they
   import the pizza libraries under the new name (net.sf.pizzacompiler).
   To do this, put these commands into the file ZETAHOME/newpizza.ed,
   then run the following commands (in ZETAHOME directory)

------------ newpizza.ed --------
#!/bin/sh
ed $1 <<EOF
g/pizza.lang/s/pizza.lang/net.sf.pizzacompiler.lang/g
g/pizza.compiler/s/pizza.compiler/net.sf.pizzacompiler.compiler/g
g/pizza.util/s/pizza.util/net.sf.pizzacompiler.util/g
g/pizza.contrib/s/pizza.contrib/net.sf.pizzacompiler.contrib/g
wq
EOF
---------------------------------------------------------------------- 

      chmod 700 newpizza.ed
      find src -name '*.pizza' -print -exec newpizza.ed {} \;


   Now the following patches fix a few more ad-hoc things.
   Put this into the file ZETAHOME/zeta.patch, then run

      patch --strip 1 <zeta.diffs

------------- zeta.diffs ---------------------------------------------
diff -Naur zeta.orig/bin/pc zeta.new/bin/pc
--- zeta.orig/bin/pc	Sat Oct 20 14:56:30 2001
+++ zeta.new/bin/pc	Sat Oct 20 14:32:04 2001
@@ -1,3 +1,3 @@
 #!/bin/sh
 # echo $CLASSPATH
-java -ms16m pizza.compiler.Main "$@"
+java -ms16m net.sf.pizzacompiler.compiler.Main "$@"
diff -Naur zeta.orig/etc/defaults.sh zeta.new/etc/defaults.sh
--- zeta.orig/etc/defaults.sh	Sat Oct 20 14:56:30 2001
+++ zeta.new/etc/defaults.sh	Sat Oct 20 15:23:47 2001
@@ -12,10 +12,13 @@
 JAVA_HOME=/usr/local/java/jdk1.2
 export JAVA_HOME
 
-  # Classpath. The pizza compiler requires to include here also
-  # the standard classes for jdk1.2.
+  # Path to the Pizza 1.0 compiler (for Zeta developers only)
+PIZZA_HOME=/usr/local/pizza
+export PIZZA_HOME
 
-ADDCLASSPATH=${JAVA_HOME}/jre/lib/rt.jar:${JAVA_HOME}/jre/lib/i18n.jar
+  # Classpath. 
+
+ADDCLASSPATH=${PIZZA_HOME}/pizza.jar
 export ADDCLASSPATH
 
   # Path to the JavaCC installation (http://www.metamata.com)
diff -Naur zeta.orig/etc/etmake/javacc.makefile
zeta.new/etc/etmake/javacc.makefile
--- zeta.orig/etc/etmake/javacc.makefile	Sat Oct 20 14:56:30 2001
+++ zeta.new/etc/etmake/javacc.makefile	Sat Oct 20 14:44:36 2001
@@ -27,7 +27,7 @@
 ifndef JAVACC_USER_TOKEN_MANAGER
   JAVACC_GENERATED      += $(JAVACC_FILES:%.jj=%TokenManager.java)
   ifndef JAVACC_UNICODE_ESCAPE
-    JAVACC_GENERATED    += ASCII_CharStream.java
+    JAVACC_GENERATED    += SimpleCharStream.java
   else
     JAVACC_GENERATED    += ASCII_UCodeESC_CharStream.java
   endif
diff -Naur zeta.orig/src/tools/latex/LatexScanner.jj
zeta.new/src/tools/latex/LatexScanner.jj
--- zeta.orig/src/tools/latex/LatexScanner.jj	Sat Oct 20 14:56:30 2001
+++ zeta.new/src/tools/latex/LatexScanner.jj	Sat Oct 20 14:44:21 2001
@@ -86,7 +86,7 @@
 				      String input){
     LatexScanner scanner = 
       new LatexScanner(new LatexScannerTokenManager(
-			     new ASCII_CharStream(
+			     new SimpleCharStream(
 					 new StringBufferInputStream(input),
 					 lineStart, columnStart,
 					 128
----------------------------------------------------------------------------

   Edit etc/defaults.sh to set JAVA_HOME, PIZZA_HOME and JAVACC correctly.

   Note: at this stage, my .bash_profile file defined the 
   following environment variables for the above tools:

	# For Java 1.3
	export PATH=$PATH:$HOME/tools/java/jdk1.3.1_01/bin

	# For JavaCC
	export PATH=$PATH:$HOME/tools/javacc/bin

	# For ANT (Make-like program for Java, written in Java)
	# Note: we must put this at the front of the path,
	# so that it overrides the 'ant' screensaver!
	export ANT_HOME=$HOME/tools/jakarta-ant-1.4.1
	export PATH=$ANT_HOME/bin:$PATH
	export JAVA_HOME=$HOME/tools/java/jdk1.3.1_01/

	# For Zeta (Z environment)
	export PATH=$PATH:$HOME/tools/zeta/bin
	export ZETABASE=$HOME/tools/zeta


   Now do the following commands to compile Zeta:
      cd $ZETABASE
        chmod 755 bin/pc bin/etmake
        cd src
          etmake boot
          cd tools
            javacc latex/LatexScanner.jj 
	    javacc zparser/ItemParser.jj
            etmake boot
	    cd ..
          etmake
	  # (you should get a warning about t.stop() being deprecated
	  #  during the compilation of tools/sh/ShellState.pizza)


   Finally, make a copy of bin/zeta, called myzeta, and change the
   CLASSPATH setting to be:

      PIZZA_HOME=????    (Where you installed Pizza)
      CLASSPATH=$PIZZA_HOME/pizza.jar:$ZETABASE/classes'

   Make it executable, then run it, and you should see Zeta start up!



   However, the Evaluate Expr/Pred commands will probably still cause 
   a runtime exception, because of different version of C shared libraries
   on your system.  To fix this (if you've got a newish g++):

      cd $ZETABASE/src/tools/nzap/zam
      etmake
      mv libZAM.so $ZETABASE/lib/native/Linux-i386/libZAM.so 


Mark.

(I'll add these commands as an attachment also, for those
 who can read attachments).