diff options
| author | Gaëtan Gilbert | 2018-10-26 13:28:15 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-10-26 13:28:15 +0200 |
| commit | 3b14b406807af5503471d4936dea4d5ed0e0c789 (patch) | |
| tree | cdbda0f6706c0b2be87cf32fb87b7e5551fffd25 /Makefile.ide | |
| parent | a5854e84d083a6caf045d424ec34d47a9ffebcc4 (diff) | |
| parent | 1db19a8f454e0f8c5a60101c87ccd38e0883d530 (diff) | |
Merge PR #8753: [build] Refactoring of config lib and ocamldebug tweaks.
Diffstat (limited to 'Makefile.ide')
| -rw-r--r-- | Makefile.ide | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.ide b/Makefile.ide index cb55960203..6c069a1e50 100644 --- a/Makefile.ide +++ b/Makefile.ide @@ -43,7 +43,7 @@ IDESRCDIRS:= $(CORESRCDIRS) ide ide/protocol COQIDEFLAGS=$(addprefix -I , $(IDESRCDIRS)) $(COQIDEINCLUDES) -IDEDEPS:=clib/clib.cma lib/lib.cma ide/protocol/ideprotocol.cma +IDEDEPS:=config/config.cma clib/clib.cma lib/lib.cma ide/protocol/ideprotocol.cma IDECMA:=ide/ide.cma IDETOPEXE=bin/coqidetop$(EXE) IDETOP=bin/coqidetop.opt$(EXE) |