From e1d0e7cd11cfe63f4741274f6d94f07887f32ffe Mon Sep 17 00:00:00 2001 From: letouzey Date: Thu, 21 Apr 2011 16:12:57 +0000 Subject: 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 --- config/Makefile.template | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'config') 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 -- cgit v1.2.3