From 2861a39461c6e13f701892af84c7beebfb8f4215 Mon Sep 17 00:00:00 2001
From: Pierre Letouzey <pierre.letouzey@inria.fr>
Date: Wed, 15 Jun 2016 11:33:41 +0200
Subject: Makefile.build: ensure a build failure in case of a missing rule

 Earlier (as in #4812), a target with some declared dependencies (e.g.
 in a .d) but no building rule would lead to a successful build,
 even though it is actually incomplete.

 Side effect: it is now mandatory to declare phony targets in a
 .PHONY statement.
---
 Makefile.ide | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Makefile.ide')

diff --git a/Makefile.ide b/Makefile.ide
index 8d6b5de36..c50e42341 100644
--- a/Makefile.ide
+++ b/Makefile.ide
@@ -62,6 +62,7 @@ GTKLIBS=$(shell pkg-config --variable=libdir gtk+-2.0)
 ###########################################################################
 
 .PHONY: coqide coqide-binaries coqide-no coqide-byte coqide-opt coqide-files
+.PHONY: ide-toploop
 
 # target to build CoqIde
 coqide: coqide-files coqide-binaries theories/Init/Prelude.vo
-- 
cgit v1.2.3