Commit 10f03c7c authored by MARCHE Claude's avatar MARCHE Claude

protect with enable_ide and enable_sql

parent 07546417
......@@ -387,6 +387,8 @@ install_no_local::
# IDE
###############
ifeq (@enable_ide@,yes)
IDE_FILES = gconfig scheduler gmain
IDEMODULES = $(addprefix src/ide/, $(IDE_FILES))
......@@ -400,10 +402,8 @@ $(IDECMO) $(IDECMX): INCLUDES += -I src/ide
# build targets
ifeq (@enable_ide@,yes)
byte: bin/whyide.byte
opt: bin/whyide.opt
endif
bin/whyide.opt bin/whyide.byte: INCLUDES += -thread -I +threads -I +lablgtk2
bin/whyide.opt bin/whyide.byte: EXTOBJS += gtkThread
......@@ -436,11 +436,14 @@ clean::
install_no_local::
cp -f bin/whyide.@OCAMLBEST@ $(BINDIR)/why3ide
endif
###############
# IDE WITH DB
###############
ifeq (@enable_sql@,yes)
DB_FILES = gconfig scheduler db gdbmain
DBMODULES = $(addprefix src/ide/, $(DB_FILES))
......@@ -454,10 +457,8 @@ $(DBCMO) $(DBCMX): INCLUDES += -I src/ide -I +sqlite3
# build targets
ifeq (@enable_sql@,yes)
byte: bin/whydb.byte
opt: bin/whydb.opt
endif
bin/whydb.opt bin/whydb.byte: INCLUDES += -thread -I +threads -I +lablgtk2 -I +sqlite3
bin/whydb.opt bin/whydb.byte: EXTOBJS += gtkThread
......@@ -490,6 +491,8 @@ clean::
install_no_local::
cp -f bin/whydb.@OCAMLBEST@ $(BINDIR)/why3db
endif
##############
# Coq plugin
##############
......
Markdown is supported
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