Skip to content

why3
why3
Commit d2177c44 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files
Options

Prevent build failure on case-insensitive filesystems.

parent 83aea8f7
Hide whitespace changes
Inline Side-by-side
Showing with 2 additions and 1 deletion
Makefile.in
View file @ d2177c44
......@@ -1821,7 +1821,8 @@ clean::
# the generic rule cannot be applied since ocaml would confuse
# lib/why3/why3extract.cmi for the interface (!!!)
src/tools/why3extract.cmx: src/tools/why3extract.ml
# same for ocaml/lablgtk2/gMain.cmi on case-insensitive filesystems
src/tools/why3extract.cmx src/ide/gmain.cmx: %.cmx: %.ml
$(SHOW) 'Ocamlopt $<'
$(HIDE)$(OCAMLOPT) -c $(OFLAGS) $<
......
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