$NetBSD: patch-aa,v 1.2 2015/12/29 23:34:49 dholland Exp $

Honor PREFIX.

--- bin/jasmin.orig	Mon Mar 25 13:43:14 2002
+++ bin/jasmin	Mon Mar 25 13:44:04 2002
@@ -10,14 +10,14 @@
 # JASMIN needs to be set to the directory containing the
 # Jasmin distribution. We try:
 #
-#     /usr/local/jasmin
+#     @PREFIX@/jasmin
 #     ~/jasmin
 #     `pwd`
 #
 #
 
-if (-e /usr/local/jasmin) then
-    set JASMIN=/usr/local/jasmin
+if (-e @PREFIX@/jasmin) then
+    set JASMIN=@PREFIX@/jasmin
 else if (-e $HOME/jasmin) then
     # try the home directory
     set JASMIN=$HOME/jasmin