ssreflect - can't get ssrcoqide to work

Subject: Ssreflect Users Discussion List

List archive

can't get ssrcoqide to work

From: Nils Jähnig <>
To:
Subject: can't get ssrcoqide to work
Date: Wed, 13 Oct 2010 17:27:55 +0200
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:date:x-google-sender-auth:message-id:subject :from:to:content-type; b=OQFQXNB9qKaOaK4rkNS1j2z6TLdQHb0neW6v56f1ZjRqKmRWNHs125v6vsyn43m+yL 91bNPzrhIuB4fPY8N8OKA3LwLoykvHGIpsioaXkQuRZVlp3Doa3swng+SFMr1xrI+rB4 PKzJypyj2qUB1519TLOgsMbySFZ2jzYEFBYn0=

Hi,

I'm completely new to coq and ssreflect. and first thing to learn is
the installation ...

i have a ssrcoq file in the bin directory which when called brings up
the coq-command line, so this seems to work.

then I tried the following command recommended in the install-file,
but got an error

nils@mann:~/Coq_Versuch/ssreflect-1.2/src$ coqmktop -ide -opt
ssreflect.cmx -o ../bin/ssrcoqide
File "/tmp/coqmain2f2655.ml", line 2, characters 17-29:
Error: Unbound value Coqide.start

what i am doing wrong or how can this be fixed?

i compiled compiled coq and ssreflect myself (from recent downloads),
and am using Ubuntu 10.4

thanks in advance for some help,
and please tell me if i missed to give some information

best regards
Nils

can't get ssrcoqide to work, Nils Jähnig, 10/13/2010
- <Possible follow-up(s)>
- Re: can't get ssrcoqide to work, Laurent Théry, 10/13/2010
- Re: can't get ssrcoqide to work, Guillaume Melquiond, 10/13/2010
  - Re: can't get ssrcoqide to work, roconnor, 10/13/2010
    - Re: can't get ssrcoqide to work, roconnor, 10/13/2010
  - Re: can't get ssrcoqide to work, Nils Jähnig, 10/18/2010
    - Re: can't get ssrcoqide to work, Stéphane Glondu, 10/18/2010

List archive

can't get ssrcoqide to work