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
|
diff --color --unified --recursive --text --color pvs-7.1.0/install-sh pvs-7.1.0.new/install-sh
--- pvs-7.1.0/install-sh 2020-09-24 00:39:14.000000000 +0200
+++ pvs-7.1.0.new/install-sh 2023-03-07 15:41:56.483077353 +0100
@@ -8,16 +8,16 @@
# Relocate PVSPATH and in the pvs shell script.
echo Setting PVSPATH in the \"pvs\", \"pvsio\", \"proveit\", and \"provethem\"
-echo " shell scripts to $PWD"
+echo " shell scripts to /opt/pvs"
echo If this is not the right path, edit the scripts before using them.
$chmodprog u+w pvs pvsio proveit provethem
-$sedprog -e "s,^PVSPATH=.*$,PVSPATH=$PWD," < pvs > tmp.$$
+$sedprog -e "s,^PVSPATH=.*$,PVSPATH=/opt/pvs," < pvs > tmp.$$
$mvprog tmp.$$ pvs
-$sedprog -e "s,^PVSPATH=.*$,PVSPATH=$PWD," < pvsio > tmp.$$
+$sedprog -e "s,^PVSPATH=.*$,PVSPATH=/opt/pvs," < pvsio > tmp.$$
$mvprog tmp.$$ pvsio
-$sedprog -e "s,^PVSPATH=.*$,PVSPATH=$PWD," < proveit > tmp.$$
+$sedprog -e "s,^PVSPATH=.*$,PVSPATH=/opt/pvs," < proveit > tmp.$$
$mvprog tmp.$$ proveit
-$sedprog -e "s,^\$PVSPATH=.*$,\$PVSPATH=\"$PWD\";," < provethem > tmp.$$
+$sedprog -e "s,^\$PVSPATH=.*$,\$PVSPATH=\"/opt/pvs\";," < provethem > tmp.$$
$mvprog tmp.$$ provethem
$chmodprog a+x pvs pvsio proveit provethem
@@ -33,9 +33,4 @@
echo "\nByte compiling emacs files using $emacsinfo"
echo " if this is not the right Emacs, set PVSEMACS"
echo " otherwise the byte compiled files will cause an error"
-echo "see byte-compile.log for details (mostly warnings)"
-echo "Byte compilation currently generates lots of warnings" > byte-compile.log
-echo " (because of compatibility issues with older Emacs versions)\n" >> byte-compile.log
-(cd emacs; $emacsprog -batch -l pvs-byte-compile.el) \
- >> byte-compile.log 2>&1 \
- || echo "!!! Something went wrong - see the end of byte-compile.log"
+(cd emacs; $emacsprog -batch -l pvs-byte-compile.el) || echo "!!! Something went wrong"
|