all:
	$(MAKE) -C unimap_to_ocaml

clean:

CLEAN: clean
	$(MAKE) -C unimap_to_ocaml CLEAN

distclean: clean
	$(MAKE) -C unimap_to_ocaml distclean
