Changeset 8827


Ignore:
Timestamp:
Oct 19, 2004, 4:37:28 PM (15 years ago)
Author:
gwright
Message:

Added a note about ":dir :system" style path lookups failing in ACL2.
Bug:
Submitted by:
Reviewed by:
Approved by:
Obtained from:

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/dports/math/acl2/Portfile

    r8826 r8827  
    1 # $Id: Portfile,v 1.10 2004/10/19 16:11:20 gwright Exp $
     1# $Id: Portfile,v 1.11 2004/10/19 16:37:28 gwright Exp $
    22
    33PortSystem 1.0
     
    3535#               TiBook.)                                                \
    3636#                                                                       \
     37#               The :dir :system path specifier is broken in this       \
     38#               build because the system path is hardcoded into the     \
     39#               the lisp images as the original build directory. This   \
     40#               may be fixed in a future release.                       \
     41#
    3742#               To exit ACL2, enter :q or at the prompt.                \
    3843#               This will bring up an ordinary OpenMCL prompt. Enter    \
Note: See TracChangeset for help on using the changeset viewer.