Commit 8c71f227 authored by Ralf Jung's avatar Ralf Jung
Browse files

require all makefiles to have the 'builddep-opamfiles' target

parent 75e3e5bb
......@@ -49,16 +49,7 @@ opam repo prio iris-dev 1 # make sure this stays at the top
# Make sure the the builddep package(s) exist and are up-to-date.
if test -f opam; then
# Old-style package: a single opam file
make build-dep/opam
# Copy it to new-style location
mkdir -p builddep
cp build-dep/opam builddep/opam
# New-style package has a dedicated target to just generate the files
make builddep-opamfiles
make builddep-opamfiles
# Update old opam, if we got a cache.
if [[ -z "$FRESH_OPAM" ]]; then # skip if this is a fresh opam root
Supports Markdown
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