diff options
author | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-04-21 16:12:57 +0000 |
---|---|---|
committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-04-21 16:12:57 +0000 |
commit | e1d0e7cd11cfe63f4741274f6d94f07887f32ffe (patch) | |
tree | 1011840a8fc280819449d00ee11500b7bb6ab727 /config/Makefile.template | |
parent | c9febd2450c40dbc46182662ccdc1567050d0222 (diff) |
Coqide: a special kill function for win32
This is implemented as a C external launching the TerminateProcess
of the Win32 API. This should be considered as quite experimental
(cf. the way we handle pid in the comment of ide_win32_stubs.c).
I don't know how to emulate an interrupt (Ctrl-C), for now the two
button "Restart" and "Interrupt" have the same semantics on win32
(kill the subprocess and start at top).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14044 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'config/Makefile.template')
-rw-r--r-- | config/Makefile.template | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/config/Makefile.template b/config/Makefile.template index cd92fc446..c5d81c9d0 100644 --- a/config/Makefile.template +++ b/config/Makefile.template @@ -138,9 +138,9 @@ STRIP=STRIPCOMMAND # CoqIde (no/byte/opt) HASCOQIDE=COQIDEOPT -IDEOPTFLAGS=MACIGEFLAGS -IDEOPTDEPS=MACIGEFILE -IDEOPTP4=MACIGEP4 +IDEOPTFLAGS=IDEARCHFLAGS +IDEOPTDEPS=IDEARCHFILE +IDEOPTP4=IDEARCHDEF # Defining REVISION CHECKEDOUT=CHECKEDOUTSOURCETREE |