Mailing-List: contact cygwin-help AT cygwin DOT com; run by ezmlm
List-Subscribe: <mailto:cygwin-subscribe AT cygwin DOT com>
List-Archive: <http://sources.redhat.com/ml/cygwin/>
List-Post: <mailto:cygwin AT cygwin DOT com>
List-Help: <mailto:cygwin-help AT cygwin DOT com>, <http://sources.redhat.com/ml/#faqs>
Sender: cygwin-owner AT cygwin DOT com
Mail-Followup-To: cygwin AT cygwin DOT com
Delivered-To: mailing list cygwin AT cygwin DOT com
Date: Sun, 24 Aug 2003 21:48:18 +0200
From: Corinna Vinschen <corinna-cygwin AT cygwin DOT com>
To: cygwin AT cygwin DOT com
Subject: Re: Problem installing Prolog
Message-ID: <20030824194818.GL7858@cygbert.vinschen.de>
Reply-To: cygwin AT cygwin DOT com
Mail-Followup-To: cygwin AT cygwin DOT com
References: <Law11-F79ZS2TRqf69a00076c45 AT hotmail DOT com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <Law11-F79ZS2TRqf69a00076c45@hotmail.com>
User-Agent: Mutt/1.4.1i

On Sun, Aug 24, 2003 at 02:16:04PM +0000, Antonio j wrote:
> Hi all
> 
> I've been trying to install Prolog on cygwin.

*Which* prolog?

> Using the full source of prolog I am said 'sys/strops.h not found'. I have 
> not that file.

Sounds like SWI-Prolog.  If so, just apply this patch:

--- pl-xterm.c.ORIG	2003-08-24 21:46:55.021995500 +0200
+++ pl-xterm.c	2003-08-24 19:27:32.989549300 +0200
@@ -45,7 +45,9 @@ portability problems for users of the si
 #include <unistd.h>
 #include <fcntl.h>
 #include <string.h>
+#ifndef __CYGWIN__
 #include <sys/stropts.h>
+#endif
 #include <termios.h>
 #include <signal.h>
  
@@ -150,8 +152,10 @@ pl_open_xterm(term_t title, term_t in, t
   unlockpt(master);
   slavename = ptsname(master);
   slave = open(slavename, O_RDWR);
+#ifndef __CYGWIN__
   ioctl(slave, I_PUSH, "ptem"); 
   ioctl(slave, I_PUSH, "ldterm");
+#endif
  
   tcgetattr(slave, &termio);
   termio.c_lflag &= ~ECHO;

Corinna

-- 
Corinna Vinschen                  Please, send mails regarding Cygwin to
Cygwin Developer                                mailto:cygwin AT cygwin DOT com
Red Hat, Inc.

--
Unsubscribe info:      http://cygwin.com/ml/#unsubscribe-simple
Problem reports:       http://cygwin.com/problems.html
Documentation:         http://cygwin.com/docs.html
FAQ:                   http://cygwin.com/faq/