blob: e698ed2ef050986c583d5927dfca5795ee0415b4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
--- src/gerbil-0.17/src/install 2022-01-20 10:44:38.318205199 -0500
+++ src/gerbil-0.17/src/install 2022-01-20 10:44:17.901285332 -0500
@@ -1,6 +1,7 @@
#!/usr/bin/env gsi
;; -*- Scheme -*-
+(define gerbil-target "/opt/gerbil-scheme/")
(define default-gerbil-home #f)
(define (die . message-bits)
@@ -34,7 +35,7 @@
(with-output-to-string
(lambda ()
(read-line)
- (display (string-append "#!" default-gerbil-home "/bin/gxi\n"))
+ (display (string-append "#!" gerbil-target "/bin/gxi\n"))
(display (read-line (current-input-port) #f))))))))
(with-output-to-file filename
(lambda ()
|