From owner-cvs-ports@FreeBSD.ORG Fri Aug 15 04:33:05 2008 Return-Path: Delivered-To: cvs-ports@FreeBSD.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34]) by hub.freebsd.org (Postfix) with ESMTP id 5DE8C106566C; Fri, 15 Aug 2008 04:33:05 +0000 (UTC) (envelope-from edwin@FreeBSD.org) Received: from repoman.freebsd.org (repoman.freebsd.org [IPv6:2001:4f8:fff6::29]) by mx1.freebsd.org (Postfix) with ESMTP id 40AD58FC0C; Fri, 15 Aug 2008 04:33:05 +0000 (UTC) (envelope-from edwin@FreeBSD.org) Received: from repoman.freebsd.org (localhost [127.0.0.1]) by repoman.freebsd.org (8.14.2/8.14.2) with ESMTP id m7F4X5Rg007834; Fri, 15 Aug 2008 04:33:05 GMT (envelope-from edwin@repoman.freebsd.org) Received: (from edwin@localhost) by repoman.freebsd.org (8.14.2/8.14.1/Submit) id m7F4X5s5007833; Fri, 15 Aug 2008 04:33:05 GMT (envelope-from edwin) Message-Id: <200808150433.m7F4X5s5007833@repoman.freebsd.org> From: Edwin Groothuis Date: Fri, 15 Aug 2008 04:33:05 +0000 (UTC) To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org X-FreeBSD-CVS-Branch: HEAD Cc: Subject: cvs commit: ports/math/isabelle Makefile distinfo pkg-plist ports/math/isabelle/files patch-bin-Isabelle patch-bin-isabelle patch-bin-isabelle_interface patch-bin-isabelle_process patch-bin-isatool patch-build patch-etc-settings patch-lib-Tools-browser ... X-BeenThere: cvs-ports@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: CVS commit messages for the ports tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 15 Aug 2008 04:33:05 -0000 edwin 2008-08-15 04:33:05 UTC FreeBSD ports repository Modified files: math/isabelle Makefile distinfo pkg-plist math/isabelle/files patch-etc-settings patch-lib-scripts-run_smlnj Removed files: math/isabelle/files patch-bin-Isabelle patch-bin-isabelle patch-bin-isabelle_interface patch-bin-isabelle_process patch-bin-isatool patch-build patch-lib-Tools-browser patch-lib-Tools-codegen patch-lib-Tools-convert patch-lib-Tools-dimacs2hol patch-lib-Tools-display patch-lib-Tools-doc patch-lib-Tools-document patch-lib-Tools-expandshort patch-lib-Tools-findlogics patch-lib-Tools-fixcpure patch-lib-Tools-fixgreek patch-lib-Tools-fixheaders patch-lib-Tools-fixsome patch-lib-Tools-getenv patch-lib-Tools-install patch-lib-Tools-keywords patch-lib-Tools-latex patch-lib-Tools-logo patch-lib-Tools-make patch-lib-Tools-makeall patch-lib-Tools-mkdir patch-lib-Tools-mkproject patch-lib-Tools-print patch-lib-Tools-unsymbolize patch-lib-Tools-usedir patch-lib-Tools-version patch-lib-scripts-configure patch-lib-scripts-feeder patch-lib-scripts-fileindent patch-lib-scripts-getsettings patch-lib-scripts-patch_scripts.bash patch-lib-scripts-polyml_platform patch-lib-scripts-polyml_version patch-lib-scripts-run_mosml patch-lib-scripts-run_polyml patch-lib-scripts-run_polyml_5.0 patch-lib-scripts-run_polyml_5.1 patch-lib-scripts-run_poplogml patch-lib-scripts-timestart.bash patch-lib-scripts-timestop.bash patch-src-Pure-mk Log: [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 Revision Changes Path 1.10 +111 -12 ports/math/isabelle/Makefile 1.5 +9 -9 ports/math/isabelle/distinfo 1.2 +0 -8 ports/math/isabelle/files/patch-bin-Isabelle (dead) 1.2 +0 -8 ports/math/isabelle/files/patch-bin-isabelle (dead) 1.2 +0 -23 ports/math/isabelle/files/patch-bin-isabelle_interface (dead) 1.3 +0 -32 ports/math/isabelle/files/patch-bin-isabelle_process (dead) 1.2 +0 -32 ports/math/isabelle/files/patch-bin-isatool (dead) 1.3 +0 -32 ports/math/isabelle/files/patch-build (dead) 1.5 +32 -17 ports/math/isabelle/files/patch-etc-settings 1.3 +0 -26 ports/math/isabelle/files/patch-lib-Tools-browser (dead) 1.2 +0 -17 ports/math/isabelle/files/patch-lib-Tools-codegen (dead) 1.2 +0 -17 ports/math/isabelle/files/patch-lib-Tools-convert (dead) 1.2 +0 -17 ports/math/isabelle/files/patch-lib-Tools-dimacs2hol (dead) 1.3 +0 -26 ports/math/isabelle/files/patch-lib-Tools-display (dead) 1.4 +0 -26 ports/math/isabelle/files/patch-lib-Tools-doc (dead) 1.2 +0 -44 ports/math/isabelle/files/patch-lib-Tools-document (dead) 1.2 +0 -17 ports/math/isabelle/files/patch-lib-Tools-expandshort (dead) 1.3 +0 -17 ports/math/isabelle/files/patch-lib-Tools-findlogics (dead) 1.2 +0 -17 ports/math/isabelle/files/patch-lib-Tools-fixcpure (dead) 1.2 +0 -17 ports/math/isabelle/files/patch-lib-Tools-fixgreek (dead) 1.2 +0 -17 ports/math/isabelle/files/patch-lib-Tools-fixheaders (dead) 1.2 +0 -17 ports/math/isabelle/files/patch-lib-Tools-fixsome (dead) 1.2 +0 -17 ports/math/isabelle/files/patch-lib-Tools-getenv (dead) 1.2 +0 -54 ports/math/isabelle/files/patch-lib-Tools-install (dead) 1.2 +0 -17 ports/math/isabelle/files/patch-lib-Tools-keywords (dead) 1.2 +0 -65 ports/math/isabelle/files/patch-lib-Tools-latex (dead) 1.2 +0 -26 ports/math/isabelle/files/patch-lib-Tools-logo (dead) 1.2 +0 -17 ports/math/isabelle/files/patch-lib-Tools-make (dead) 1.3 +0 -26 ports/math/isabelle/files/patch-lib-Tools-makeall (dead) 1.3 +0 -26 ports/math/isabelle/files/patch-lib-Tools-mkdir (dead) 1.2 +0 -17 ports/math/isabelle/files/patch-lib-Tools-mkproject (dead) 1.2 +0 -26 ports/math/isabelle/files/patch-lib-Tools-print (dead) 1.2 +0 -17 ports/math/isabelle/files/patch-lib-Tools-unsymbolize (dead) 1.3 +0 -48 ports/math/isabelle/files/patch-lib-Tools-usedir (dead) 1.3 +0 -8 ports/math/isabelle/files/patch-lib-Tools-version (dead) 1.2 +0 -15 ports/math/isabelle/files/patch-lib-scripts-configure (dead) 1.2 +0 -26 ports/math/isabelle/files/patch-lib-scripts-feeder (dead) 1.2 +0 -8 ports/math/isabelle/files/patch-lib-scripts-fileindent (dead) 1.3 +0 -30 ports/math/isabelle/files/patch-lib-scripts-getsettings (dead) 1.2 +0 -37 ports/math/isabelle/files/patch-lib-scripts-patch_scripts.bash (dead) 1.3 +0 -8 ports/math/isabelle/files/patch-lib-scripts-polyml_platform (dead) 1.3 +0 -8 ports/math/isabelle/files/patch-lib-scripts-polyml_version (dead) 1.2 +0 -35 ports/math/isabelle/files/patch-lib-scripts-run_mosml (dead) 1.3 +0 -45 ports/math/isabelle/files/patch-lib-scripts-run_polyml (dead) 1.2 +0 -50 ports/math/isabelle/files/patch-lib-scripts-run_polyml_5.0 (dead) 1.2 +0 -50 ports/math/isabelle/files/patch-lib-scripts-run_polyml_5.1 (dead) 1.2 +0 -59 ports/math/isabelle/files/patch-lib-scripts-run_poplogml (dead) 1.3 +6 -54 ports/math/isabelle/files/patch-lib-scripts-run_smlnj 1.2 +0 -16 ports/math/isabelle/files/patch-lib-scripts-timestart.bash (dead) 1.2 +0 -44 ports/math/isabelle/files/patch-lib-scripts-timestop.bash (dead) 1.3 +0 -26 ports/math/isabelle/files/patch-src-Pure-mk (dead) 1.7 +163 -331 ports/math/isabelle/pkg-plist