diff options
author | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-01-22 10:23:14 +0100 |
---|---|---|
committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-01-26 14:20:52 +0100 |
commit | ea17a2a371d0d791f439e0a4c6610819ecb6f9b6 (patch) | |
tree | e7a91131f773efedbbcdb79d035b6c6d443b1e55 /Makefile.common | |
parent | 26b6134c3cd333d7fc78c665be5fd1394a546395 (diff) |
Spawn: managed processes
The Spawn and Spawned modules factor the operation of spawning
a process. Both synchronous and asynchronous channels are supported.
Both threaded and glib like main loop models are supported. Still,
not all combinations are truly tested not equipped with a decent API:
only async + glib and sync + thread are, since these are the models we
use for coqide<->coqtop and coqtop<->worker respectively.
Diffstat (limited to 'Makefile.common')
-rw-r--r-- | Makefile.common | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.common b/Makefile.common index e25aed09e..06d97567b 100644 --- a/Makefile.common +++ b/Makefile.common @@ -210,7 +210,7 @@ endif LINKCMO:=$(CORECMA) $(STATICPLUGINS) LINKCMX:=$(CORECMA:.cma=.cmxa) $(STATICPLUGINS:.cma=.cmxa) -IDEDEPS:=lib/clib.cma lib/xml_lexer.cmo lib/xml_parser.cmo lib/xml_printer.cmo +IDEDEPS:=lib/clib.cma lib/xml_lexer.cmo lib/xml_parser.cmo lib/xml_printer.cmo lib/errors.cmo lib/spawn.cmo IDECMA:=ide/ide.cma LINKIDE:=$(IDEDEPS) $(IDECMA) ide/coqide_main.ml |