Commit 7db7be6c authored by POTTIER Francois's avatar POTTIER Francois

Add [make headache].

parent 521a91b0
François Pottier, Inria Paris
Copyright Inria. All rights reserved. This file is distributed under the
terms of the GNU Library General Public License version 2, with a special
exception on linking, as described in the file LICENSE.
......@@ -40,6 +40,18 @@ reinstall: uninstall
show: reinstall
@ echo "#require \"fix\";;\n#show Fix;;" | ocaml
# This requires a version of headache that supports UTF-8; please use
HEADACHE := headache
LIBHEAD := $(shell cd .. && pwd)/headers/library-header
FIND := $(shell if command -v gfind >/dev/null ; then echo gfind ; else echo find ; fi)
.PHONY: headache
@ $(FIND) . -regex ".*\.ml\(i\|y\|l\)?" \
-exec $(HEADACHE) -h $(LIBHEAD) "{}" ";"
.PHONY: release
# Make sure the current version can be compiled and installed.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment