From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA30336 for caml-redistribution; Fri, 23 Apr 1999 19:48:09 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA23980 for ; Fri, 23 Apr 1999 09:32:49 +0200 (MET DST) Received: from indigo.recherche.enac.fr (indigo.recherche.enac.fr [195.220.158.66]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id JAA10838 for ; Fri, 23 Apr 1999 09:32:48 +0200 (MET DST) Received: from rouge.recherche.enac.fr (root@rouge.recherche.enac.fr [195.220.158.70]) by indigo.recherche.enac.fr (8.8.6 (PHNE_14041)/8.6.11) with ESMTP id JAA05221; Fri, 23 Apr 1999 09:32:46 +0200 (METDST) Received: from recherche.enac.fr (alliot@localhost [127.0.0.1]) by rouge.recherche.enac.fr (8.9.3/8.6.11) with ESMTP id JAA30970; Fri, 23 Apr 1999 09:32:46 +0200 Sender: weis Message-ID: <3720221E.C21B1A0@recherche.enac.fr> Date: Fri, 23 Apr 1999 09:32:46 +0200 From: jean-marc alliot Organization: Laboratoire d'Optimisation Globale X-Mailer: Mozilla 4.51 [en] (X11; I; Linux 2.2.2 i686) X-Accept-Language: fr-FR MIME-Version: 1.0 To: Alain.Bengaouer@cea.fr CC: caml-list@inria.fr Subject: Re: ocaml+pvm References: <37200BA6.8B068D73@soleil.serma.cea.fr> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Alain Bengaouer wrote: > We have a toplevel including ocaml2.02, and a C function calling > pvm3.3.4, it appears that this toplevel, > runs nicely on LINUX, AIX and SUN, but issues a segmentation violation > on HPUX 10 when entering > the pvm function. > We have tried different compilers (GNU, or CC) and 2 versions of pvm > (3.3.11 and 3.3.4). > Has anyone had a similar problem ? > > Alain.Bengaouer@cea.fr > CEA/DMT Very strange. We have been using our own PVM/ML interface on many different systems (including HPUX) and never had any problems. Could you pass me your interface code along with the exact version of HP-UX and HP C compiler you are using? Jean-Marc