=================================================================== RCS file: /home/cvs/OpenXM_contrib/PHC/Objects/makefile,v retrieving revision 1.1.1.1 retrieving revision 1.3 diff -u -p -r1.1.1.1 -r1.3 --- OpenXM_contrib/PHC/Objects/makefile 2000/10/29 17:45:34 1.1.1.1 +++ OpenXM_contrib/PHC/Objects/makefile 2005/08/04 10:00:26 1.3 @@ -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: