From 0002baf18813f5041ee75b5ec58dbe402be8aadc Mon Sep 17 00:00:00 2001 From: Edwin Groothuis Date: Fri, 15 Aug 2008 04:33:04 +0000 Subject: [MAINTAINER] math/isabelle: update from 2007 to 2008 Updates the port to the latest Isabelle release. It does not seem worth the effort to continually patch the bash script files to make them work under sh, hence the large number of removed files. PR: ports/126067 Submitted by: Timothy Bourke --- math/isabelle/files/patch-lib-scripts-timestart.bash | 16 ---------------- 1 file changed, 16 deletions(-) delete mode 100644 math/isabelle/files/patch-lib-scripts-timestart.bash (limited to 'math/isabelle/files/patch-lib-scripts-timestart.bash') diff --git a/math/isabelle/files/patch-lib-scripts-timestart.bash b/math/isabelle/files/patch-lib-scripts-timestart.bash deleted file mode 100644 index bba13d73fc06..000000000000 --- a/math/isabelle/files/patch-lib-scripts-timestart.bash +++ /dev/null @@ -1,16 +0,0 @@ ---- lib/scripts/timestart.bash.orig Thu Dec 8 01:23:22 2005 -+++ lib/scripts/timestart.bash Sat Jan 12 17:53:32 2008 -@@ -10,9 +10,11 @@ - #set by configure - AUTO_PERL=perl - --function get_times () { -- local TMP="/tmp/get_times$$" -+get_times () { -+ local TMP SECONDS -+ TMP="/tmp/get_times$$" - times > "$TMP" # No pipe here! -+ SECONDS=$(( `date +'%j * 86400 + %H * 3600 + %M * 60 + %S'` )) - TIMES_RESULT="$SECONDS $(echo $(cat "$TMP") | "$AUTO_PERL" -pe 's,\d+m\d+\.\d+s \d+m\d+\.\d+s (\d+)m(\d+)\.\d+s +(\d+)m(\d+)\.\d+s, $1 * 60 + $2 + $3 * 60 + $4,e')" - rm -f "$TMP" - } -- cgit v1.2.3