CS101C: Updating MetaPRL

To make sure you are running the latest class version of the MetaPRL system, you need to do the following steps:

1. Go to the meta-prl directory that you have set up for Part I of the Homework 1.
2. Run cvs update -d -P
3. Make sure the THEORIES line in the mk/config file reads

   THEORIES=base itt cs101
   

   or

   THEORIES=base itt cs101
   

4. When upgrading berween rev 11 and rev 12, you need to erase all the binary files. Run make clean, then rm -f theories/*/*.prlb
5. Unless you ran make clean, run make depend
6. Run make opt

If everything is done correctly, the version string you will get when running mpxterm should be 0.8.3 (CS101 rev 12).

Notes:

• If you have not have a working CS101 MetaPRL directory, then instead of (a-c) you can download and unpack (tar -x --use-compress-program bzip2 -f meta-prl.tar.bz2) the updated meta-prl.tar.bz2.
• After you've done (a-b), you can remove (rm -rf) the theories/tactic, theories/ocaml, theories/czf and theories/fol directories to save space.

Back to the CS101 Home Page

Last update: Thursday, May 29, 2003