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 <[email protected]> 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 <[email protected]> > Cc: Sol Swords <[email protected]>, [email protected] > Date: Fri, 18 Oct 2013 13:15:45 -0400 > > Greetings! > > Matt Kaufmann <[email protected]> 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 > [email protected] > ========================================================================== > "The earth is but one country, and mankind its citizens." -- Baha'u'llah > > > > > -- Camm Maguire [email protected] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/gcl-devel
