Build Platypus
--------------

To build Platypus you'll need smodels-2.28. Get it from 
http://www.tcs.hut.fi/Software/smodels/

1. 	Settting up smodels-2.28 to run with Platypus
	
	1. 	cd into the Platypus src dir
	2. 	unpack smodels-2.28. This should yield
		a directory named smodels-2.28
	3.	cd into smodels-2.28
	4.	type
		
		cat ../patches/smodels-2.28.patch | patch -p1 --dry-run
		
		at the prompt. The patch program should list the
		files it will patch. If everthing worked ok continue
		to step 5.
	5.	Do the actual patching. Type at the prompt
		
		cat ../patches/smodels-2.28.patch | patch -p1
		
2.	Build Platypus
	
	Move Local.mak.template to Local.mak and edit to suit
	your configuration. Then, at the prompt, type
	
	make
	
	That's it. Platypus should then build.