caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Pixel <pixel@mandrakesoft.com>
To: Christophe Raffalli <Christophe.Raffalli@univ-savoie.fr>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Segv while compiling ocaml-3.04
Date: 14 Dec 2001 14:25:43 +0100	[thread overview]
Message-ID: <lyn10mx7ag.fsf@leia.mandrakesoft.com> (raw)
In-Reply-To: <3C19BAB4.13372263@univ-savoie.fr>

Christophe Raffalli <Christophe.Raffalli@univ-savoie.fr> writes:

> After ./configure, make world crashes for 3.04 in 
> 
> ../boot/ocamlrun ../boot/ocamlc -g -nopervasives -c oo.mli
> make[1]: *** [oo.cmi] Erreur de segmentation
> make[1]: *** Deleting file `oo.cmi'
> make[1]: Quitte le répertoire `/usr/local/src/ocaml-3.04/stdlib'
> make: *** [coldstart] Erreur 2

at least it works here on cooker (mandrake devel version, post 8.1)

i've only been having some pbs with building for a location and installing
somewhere else (especially ld.conf and camlp4)

while i'm at it, would this be useful for someone else?
--------------------------------------------------------------------------------
--- ocaml-3.00/emacs/ocamltags.in.pix	Mon Nov 29 14:03:30 1999
+++ ocaml-3.00/emacs/ocamltags.in	Tue Dec 12 06:06:28 2000
@@ -1,4 +1,4 @@
-":" ; @EMACS@ -batch -l $0 "$@" ; status=$? ; : '--*-Emacs-Lisp-*--' <<';'
+":" ; @EMACS@ --batch --no-init-file --no-site-file -l $0 "$@" ; status=$? ; : '--*-Emacs-Lisp-*--' <<';'
 
 ;; Copyright (C) 1998 Ian Zimmerman <itz@transbay.net>
 ;;  This program is free software; you can redistribute it and/or
--------------------------------------------------------------------------------
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr


  reply	other threads:[~2001-12-14 13:26 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-12-14  8:39 Christophe Raffalli
2001-12-14 13:25 ` Pixel [this message]
     [not found] ` <15385.61778.52293.648002@gargle.gargle.HOWL>
     [not found]   ` <3C1A07E9.B01890D5@univ-savoie.fr>
     [not found]     ` <15386.19382.239731.32280@hector.lesours>
2001-12-15 10:32       ` Christophe Raffalli
2001-12-20 10:50 ` Xavier Leroy
2001-12-20 11:00   ` Christophe Raffalli
2001-12-20 22:49   ` Ian Zimmerman
2001-12-21  8:22     ` Florian Hars
2001-12-21  8:28       ` Ian Zimmerman
2001-12-21  9:25       ` William Chesters
2001-12-21 10:00         ` Sven
2001-12-21  8:24     ` Luc Maranget
     [not found] <200112170931.KAA0000003112@beaune.inria.fr>
2001-12-17  9:02 ` Christophe Raffalli
2001-12-21 13:01   ` Xavier Leroy
2001-12-22 14:44     ` Pixel
2001-12-23  8:37       ` Xavier Leroy

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=lyn10mx7ag.fsf@leia.mandrakesoft.com \
    --to=pixel@mandrakesoft.com \
    --cc=Christophe.Raffalli@univ-savoie.fr \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).