File: pathnames

package info (click to toggle)
acl2 8.3dfsg-2
  • links: PTS
  • area: main
  • in suites: bullseye
  • size: 309,408 kB
  • sloc: lisp: 3,311,842; javascript: 22,569; cpp: 9,029; ansic: 7,872; perl: 6,501; xml: 3,838; java: 3,738; makefile: 3,383; ruby: 2,633; sh: 2,489; ml: 763; python: 741; yacc: 721; awk: 260; csh: 186; php: 171; lex: 154; tcl: 49; asm: 23; haskell: 17
file content (47 lines) | stat: -rw-r--r-- 2,106 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
Description: <short summary of the patch>
 TODO: Put a short summary on the line above and replace this paragraph
 with a longer explanation of this change. Complete the meta-information
 with other relevant fields (see below for details). To make it easier, the
 information below has been extracted from the changelog. Adjust it or drop
 it.
 .
 acl2 (7.2dfsg-3) unstable; urgency=medium
 .
   * build-dep against latest gcl
   * upstream pathname patch
Author: Camm Maguire <camm@debian.org>

---
The information above should follow the Patch Tagging Guidelines, please
checkout http://dep.debian.net/deps/dep3/ to learn about the format. Here
are templates for supplementary fields that you might want to add:

Origin: <vendor|upstream|other>, <url of original patch>
Bug: <url in upstream bugtracker>
Bug-Debian: https://bugs.debian.org/<bugnumber>
Bug-Ubuntu: https://launchpad.net/bugs/<bugnumber>
Forwarded: <no|not-needed|url proving that it has been forwarded>
Reviewed-By: <name and email of someone who approved the patch>
Last-Update: 2016-10-15

--- acl2-7.2dfsg.orig/other-events.lisp
+++ acl2-7.2dfsg/other-events.lisp
@@ -8692,9 +8692,15 @@
            (and (implies dir-p
                          (not (or (stringp name) (stringp type))))
                 (assert$ (and (true-listp dir)
-                              (eq (car dir)
-                                  #+gcl :ROOT
-                                  #-gcl :ABSOLUTE))
+                                    #+gcl
+                                    (member (car dir)
+                                            '(:ROOT ; for backward compatibility
+                                              #+cltl2
+                                              :ABSOLUTE)
+                                            :test #'eq)
+                                    #-gcl
+                                    (eq (car dir) :ABSOLUTE)
+				    )
                          (let* ((mswindows-drive
                                  (mswindows-drive (namestring truename) state))
                                 (tmp (if mswindows-drive