From 8e7eab77e83a3926b96ac46679869277e8b3f7a2 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Mon, 28 Mar 2011 13:11:18 +0000
Subject: Ide: restaure compilation of ide/macjokes.c removed by mistake

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13936 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile.common | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.common b/Makefile.common
index ce99603fee..d0546a81e5 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -221,7 +221,7 @@ IDEDEPS:=$(CONFIG) lib/flags.cmo toplevel/ide_intf.cmo
 IDECMA:=ide/ide.cma
 
 LINKIDE:=$(IDEDEPS) $(IDECMA) ide/coqide_main.ml
-LINKIDEOPT:=$(IDEDEPS:.cmo=.cmx) $(IDECMA:.cma=.cmxa) ide/coqide_main_opt.ml
+LINKIDEOPT:=$(IDEOPTDEPS) $(IDEDEPS:.cmo=.cmx) $(IDECMA:.cma=.cmxa) ide/coqide_main_opt.ml
 
 # modules known by the toplevel of Coq
 
-- 
cgit v1.2.3