Mentions légales du service

Skip to content
Snippets Groups Projects
Commit 490af484 authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

remove why3gui from the makefile and gmain.ml (ACKed by Claude)

parent 5f25e0ed
No related branches found
No related tags found
No related merge requests found
......@@ -438,74 +438,12 @@ install_no_local::
install_local: bin/why3config
###############
# GUI
###############
ifeq (@enable_ide@,yes)
GUI_FILES = xml session gconfig db gmain
GUIMODULES = $(addprefix src/ide/, $(GUI_FILES))
GUIML = $(addsuffix .ml, $(GUIMODULES))
GUIMLI = $(addsuffix .mli, $(GUIMODULES))
GUICMO = $(addsuffix .cmo, $(GUIMODULES))
GUICMX = $(addsuffix .cmx, $(GUIMODULES))
$(GUICMO) $(GUICMX): INCLUDES += -I src/ide -I @SQLITE3LIB@
# build targets
byte: bin/why3gui.byte
opt: bin/why3gui.opt
bin/why3gui.opt bin/why3gui.byte: INCLUDES += -I @LABLGTK2LIB@ -I @SQLITE3LIB@
bin/why3gui.opt bin/why3gui.byte: EXTOBJS +=
bin/why3gui.opt bin/why3gui.byte: EXTLIBS += lablgtk lablgtksourceview2 sqlite3
bin/why3gui.opt: src/why.cmxa $(PGMCMX) $(GUICMX)
$(if $(QUIET), @echo 'Linking $@' &&) \
$(OCAMLOPT) $(OFLAGS) -o $@ $(EXTCMXA) $^
$(STRIP) $@
bin/why3gui.byte: src/why.cma $(PGMCMO) $(GUICMO)
$(if $(QUIET),@echo 'Linking $@' &&) \
$(OCAMLC) $(BFLAGS) -o $@ $(EXTCMA) $^
bin/why3gui: bin/why3gui.@OCAMLBEST@
ln -sf why3gui.@OCAMLBEST@ $@
# depend and clean targets
include .depend.gui
.depend.gui: src/ide/xml.ml
$(OCAMLDEP) -slash -I src -I src/ide $(GUIML) $(GUIMLI) > $@
depend: .depend.gui
clean::
rm -f src/ide/*.cm[iox] src/ide/*.o
rm -f src/ide/*.annot src/ide/*~
rm -f bin/why3gui.byte bin/why3gui.opt bin/why3gui
rm -f .depend.gui
install_no_local::
cp -f bin/why3gui.@OCAMLBEST@ $(BINDIR)/why3gui
install_local: bin/why3gui
endif
###############
# IDE
###############
ifeq (@enable_ide@,yes)
# IDE_FILES = xml session gconfig db gmain
IDE_FILES = xml session gconfig newmain
IDEMODULES = $(addprefix src/ide/, $(IDE_FILES))
......@@ -548,6 +486,7 @@ include .depend.ide
depend: .depend.ide
clean::
rm -f src/ide/xml.ml
rm -f src/ide/*.cm[iox] src/ide/*.o
rm -f src/ide/*.annot src/ide/*~
rm -f bin/why3ide.byte bin/why3ide.opt bin/why3ide
......@@ -603,6 +542,7 @@ include .depend.replayer
depend: .depend.replayer
clean::
rm -f src/ide/xml.ml
rm -f src/ide/*.cm[iox] src/ide/*.o
rm -f src/ide/*.annot src/ide/*~
rm -f bin/why3replayer.byte bin/why3replayer.opt bin/why3replayer
......
This diff is collapsed.
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment