From b7247b08be8a991cad8656db150dd0596cce0b16 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 9 Feb 2017 16:37:11 +0100
Subject: [PATCH] update build system
---
Makefile | 2 +-
build/opam-pins.sh | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/Makefile b/Makefile
index df9d03fb..7bfa06f8 100644
--- a/Makefile
+++ b/Makefile
@@ -17,7 +17,7 @@ clean: Makefile.coq
# Create Coq Makefile. POSIX awk can't do in-place editing, but coq_makefile wants the real filename, so we do some file gymnastics.
Makefile.coq: _CoqProject Makefile awk.Makefile
- coq_makefile $(COQ_MAKEFILE_FLAGS) -f _CoqProject -o Makefile.coq
+ coq_makefile -f _CoqProject -o Makefile.coq
mv Makefile.coq Makefile.coq.tmp && awk -f awk.Makefile Makefile.coq.tmp > Makefile.coq && rm Makefile.coq.tmp
# Install build-dependencies
diff --git a/build/opam-pins.sh b/build/opam-pins.sh
index aafd133f..5291cb23 100755
--- a/build/opam-pins.sh
+++ b/build/opam-pins.sh
@@ -4,7 +4,7 @@ set -e
## Usage:
## ./opam-pins.sh < opam.pins
-if ! which curl; then
+if ! which curl >/dev/null; then
echo "opam-pins needs curl. Please install curl and try again."
exit 1
fi
--
GitLab