OTHERSLIB=-I $(OTHERS)/unix -I $(OTHERS)/str

include Makefile.shared

dummy.mli:
	cp dummyUnix.mli dummy.mli
