===================================================================
RCS file: /home/cvs/OpenXM_contrib/PHC/Objects/makefile,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -p -r1.1 -r1.2
--- OpenXM_contrib/PHC/Objects/makefile	2000/10/29 17:45:34	1.1
+++ OpenXM_contrib/PHC/Objects/makefile	2005/08/04 09:58:23	1.2
@@ -1,5 +1,6 @@
 # compiler environment :
 
+OpenXM_HOME=../../../OpenXM 
 CC=gcc
 BIND=gnatbl
 PHCLIB=../Ada
@@ -15,6 +16,12 @@ GNATFLAGS = -gnatv -O3 -gnatp
 .c.o:
 	$(CC) -c $(CFLAGS) $<
 
+all: phc
+
+install:
+	cp -pf tmp/phc ${OpenXM_HOME}/bin/phc
+	strip ${OpenXM_HOME}/bin/phc
+
 # Test program to see if compiler works, "hello world" :
 
 hello:
@@ -368,8 +375,9 @@ use_phc:
 	gnatbl -o /tmp/use_phc use_phc.ali
 
 phc:
+	mkdir tmp
 	gnatmake -c $(INCLULIBS) $(GNATFLAGS) dispatch.adb
-	gnatbl -o /tmp/phc dispatch.ali
+	gnatbl -o ./tmp/phc dispatch.ali
 
 # Test programs for the evaluators :
 
@@ -384,6 +392,6 @@ solve_cyclic7:
 # cleaning up the object files :
 
 clean: force
-	/bin/rm -f  *.o *.ali
+	/bin/rm -rf  *.o *.ali tmp
 
 force: