Skip to content
Snippets Groups Projects

Get rid of the awk.Makefile references

Merged Get rid of the awk.Makefile references
dfrumin/coq-stdpp:master into master
Merged Dan Frumin requested to merge dfrumin/coq-stdpp:master into master
Compare
and
1 file
+ 1
− 2
Compare changes
  • Side-by-side
  • Inline
Makefile
+ 1
− 2
@@ -13,7 +13,7 @@ clean: Makefile.coq
.PHONY: clean
# Create Coq Makefile.
Makefile.coq: _CoqProject Makefile awk.Makefile
Makefile.coq: _CoqProject Makefile
"$(COQBIN)coq_makefile" -f _CoqProject -o Makefile.coq
# Install build-dependencies
@@ -42,7 +42,6 @@ build-dep: build-dep/opam phony
# Some files that do *not* need to be forwarded to Makefile.coq
Makefile: ;
_CoqProject: ;
awk.Makefile: ;
opam: ;
# Phony wildcard targets