include ../../config

h_convert: h_convert.ml
	ocamlc -o h_convert h_convert.ml

h_convert.ml: h_convert.mll
	ocamllex h_convert.mll

install: coqpath.elc
	cp gml gml4 gmli ocamldebug $(BINDIR)
	cp coqpath.elc $(EMACSLIB)

coqpath.elc: coqpath.el lib-complete.elc
	$(EMACS) -q -no-site-file -batch -eval '(setq load-path (cons "." load-path))' -f batch-byte-compile $<

lib-complete.elc: lib-complete.el
	$(EMACS) -q -no-site-file -batch -f batch-byte-compile $<

clean:
	rm -f *.elc h_convert.ml h_convert h_convert.cm?
