[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gcl-devel] address@hidden: Re: lstat]
From: |
Camm Maguire |
Subject: |
Re: [Gcl-devel] address@hidden: Re: lstat] |
Date: |
Wed, 30 Oct 2013 12:44:55 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux) |
Greetings! Happy to announce that with the gracious assistance of the
machine setup by Harsh, and the latest mingw tools freshly installed, I
am able to compile gcl/acl2-6.3 out of the box with no modifications.
The certification scripts work with the newer perl, regression is now
running. I'll report the final outcome.
Take care,
Matt Kaufmann <address@hidden> writes:
> Hi, Camm --
>
> I think that's good advice.
>
> If you get this working, please let me know and better yet, send me
> the revised books/Makefile that you use. If you want help with this,
> please feel free to ask.
>
>>> Are the dependencies only for (make) parallelism anyway?
>
> I believe that the dependencies are only for make, but they are
> definitely not only for parallelism. ACL2 has a construct,
> INCLUDE-BOOK, that you can think of as being a bit like #include in
> C. But a difference is that if for example top.lisp contains the form
> (include-book "sub"), then sub.lisp must be certified before top.lisp
> can be certified.
>
> -- Matt
> From: Camm Maguire <address@hidden>
> Cc: Sol Swords <address@hidden>, address@hidden
> Date: Fri, 18 Oct 2013 13:15:45 -0400
>
> Greetings!
>
> Matt Kaufmann <address@hidden> writes:
>
> > Hi, Camm and Sol --
> >
> > To Camm: Were you able to get the normal "make" process to work for
> > the books by doing the edits that Sol suggested?
> >
>
> I'm going to try the NO_RESCAN importing Makefile-books and
> Makefile-deps files from a working build when the windows vm I was using
> becomes available again. Will let you know.
>
> My personal opinion is that you might consider leaving the perl stuff
> alone and not attempt to edit it to cover every variant of windows
> installation, but to provide a fallback using make alone, as that must
> be present, especially as this was working in the past.
>
> Are the dependencies only for (make) parallelism anyway?
>
> Take care,
> --
> Camm Maguire address@hidden
> ==========================================================================
> "The earth is but one country, and mankind its citizens." -- Baha'u'llah
>
>
>
>
>
--
Camm Maguire address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
- Re: [Gcl-devel] address@hidden: Re: lstat],
Camm Maguire <=