From 3b6a6e18c772f65874883692376d37dfbbb34364 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Jun 03 2017 21:51:27 +0000
Subject: Don't use env to find perl.


---

diff --git a/pvs-sbcl.spec b/pvs-sbcl.spec
index a9bedd2..29c0967 100644
--- a/pvs-sbcl.spec
+++ b/pvs-sbcl.spec
@@ -103,6 +103,9 @@ chmod a-x emacs/emacs-src/pvs-prover-manip.el
 # Fix building the language documentation
 ln -s ../makebnf.sty doc/language
 
+# We know where perl lives
+sed -i 's,/usr/bin/env perl,/usr/bin/perl,' provethem.in
+
 # Adapt the release notes to texi2any
 sed -i 's/\$(TEXI2HTML).*-nav/texi2any --html --no-number-sections/' \
     doc/release-notes/Makefile