SOURCES: maxima-info-compressed.patch (NEW) - internal help can now use com...

draenog draenog at pld-linux.org
Sat Jun 14 14:56:55 CEST 2008


Author: draenog                      Date: Sat Jun 14 12:56:55 2008 GMT
Module: SOURCES                       Tag: HEAD
---- Log message:
- internal help can now use compressed info files

---- Files affected:
SOURCES:
   maxima-info-compressed.patch (NONE -> 1.1)  (NEW)

---- Diffs:

================================================================
Index: SOURCES/maxima-info-compressed.patch
diff -u /dev/null SOURCES/maxima-info-compressed.patch:1.1
--- /dev/null	Sat Jun 14 14:56:55 2008
+++ SOURCES/maxima-info-compressed.patch	Sat Jun 14 14:56:49 2008
@@ -0,0 +1,25 @@
+--- src/cl-info.lisp	2007-06-20 15:18:06.000000000 +0200
++++ /home/users/kornet/cl-info.lisp	2008-06-14 14:42:23.000000000 +0200
+@@ -161,11 +161,17 @@
+ 	      ""
+ 	      (concatenate 'string "/" maxima::*maxima-lang-subdir*)))
+ 	 (path+filename (concatenate 'string maxima::*maxima-infodir* subdir-bit "/" filename)))
+-    (with-open-file (in path+filename :direction :input)
+-      (file-position in byte-offset)
+-      #+gcl (gcl-read-sequence text in :start 0 :end byte-count)
+-      #-gcl (read-sequence text in :start 0 :end byte-count))
+-    text))
++    (if (probe-file path+filename)
++	(with-open-file (in path+filename :direction :input)
++		(file-position in byte-offset)
++		#+gcl (gcl-read-sequence text in :start 0 :end byte-count)
++		#-gcl (read-sequence text in :start 0 :end byte-count))
++	(with-open-stream (in (ext:run-shell-command (concatenate 'string "gunzip -c " path+filename ".gz") :output :stream))
++		(dotimes (ibytes byte-offset) 
++			(read-char in))
++		#+gcl (gcl-read-sequence text in :start 0 :end byte-count)
++		#-gcl (read-sequence text in :start 0 :end byte-count)))
++     text))
+ 
+ #+gcl
+ (defun gcl-read-sequence (s in &key (start 0) (end nil))
================================================================


More information about the pld-cvs-commit mailing list