prefix=/usr/local
exec_prefix=${prefix}
bindir=${exec_prefix}/bin

LOCAL_BINDIR=../bin
LOCAL_LIBDIR=../lib
yices_root=error

yicesw: 
	mkdir -p $(LOCAL_BINDIR)
	gcc -static -o $(LOCAL_BINDIR)/yicesw -I$(yices_root)/include -L$(yices_root)/lib yicesw.c -lyices -lgmp -lstdc++

ocamlmpi: $(LOCAL_LIBDIR)/mpi.cmxa

$(LOCAL_LIBDIR)/mpi.cmxa:
	mkdir -p $(LOCAL_LIBDIR)
	cd ocamlmpi-PKind; make all
	cp ocamlmpi-PKind/*.cmi $(LOCAL_LIBDIR)
	cp ocamlmpi-PKind/libcamlmpi.a $(LOCAL_LIBDIR)
	cp ocamlmpi-PKind/mpi.cma $(LOCAL_LIBDIR)
	cp ocamlmpi-PKind/*.a $(LOCAL_LIBDIR)
	cp ocamlmpi-PKind/mpi.cmxa $(LOCAL_LIBDIR)

extlib: $(LOCAL_LIBDIR)/extLib.cmxa

$(LOCAL_LIBDIR)/extLib.cmxa:
	mkdir -p $(LOCAL_LIBDIR)
	cd extlib; ocaml install.ml -d ../$(LOCAL_LIBDIR) -n -nodoc	

clean:
	make -C ocamlmpi-PKind clean
