CAMLLIB=/usr/local/lib/caml-light

all : getwd.zi libcoqc.a

libcoqc.a : getwd.o
	ar rcv libcoqc.a getwd.o
	ranlib libcoqc.a

clean ::
	rm -f *.z* *.o *.a

.SUFFIXES: .ml .mli .zi .zo .c .o

.mli.zi:
	camlc -c $<
	@-chmod g+w $@

.ml.zo:
	camlc -c $<
	@-chmod g+w $@

.c.o:
	cc -I$(CAMLLIB) -c $<
	@-chmod g+w $@

