Date: Sun, 24 Sep 2000 16:07:30 +0200 (CEST) From: havoc@phoenix.student.utwente.nl To: FreeBSD-gnats-submit@freebsd.org Subject: ports/21516: New FreeBSD port for Fuzz Message-ID: <20000924140730.D80043D4@phoenix.student.utwente.nl>
next in thread | raw e-mail | index | archive | help
>Number: 21516 >Category: ports >Synopsis: New FreeBSD port for Fuzz >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-ports >State: open >Quarter: >Keywords: >Date-Required: >Class: change-request >Submitter-Id: current-users >Arrival-Date: Sun Sep 24 07:10:01 PDT 2000 >Closed-Date: >Last-Modified: >Originator: Theo van Klaveren >Release: FreeBSD 4.1-STABLE i386 >Organization: >Environment: FreeBSD phoenix.student.utwente.nl 4.1-STABLE FreeBSD 4.1-STABLE #0: Mon Sep 11 10:42:25 CEST 2000 havoc@phoenix.student.utwente.nl:/usr/obj/usr/src/sys/PHOENIX i386 >Description: Fuzz is a type-checker for Z statements inside a TeX document. The package also contains Z fonts and styles for TeX. >How-To-Repeat: >Fix: # This is a shell archive. Save it in a file, remove anything before # this line, and then unpack it by entering "sh file". Note, it may # create directories; files and directories will be owned by you and # have default permissions. # # This archive contains: # # fuzz # fuzz/pkg # fuzz/pkg/PLIST # fuzz/pkg/COMMENT # fuzz/pkg/DESCR # fuzz/files # fuzz/files/md5 # fuzz/patches # fuzz/patches/patch-aa # fuzz/patches/patch-ab # fuzz/Makefile # echo c - fuzz mkdir -p fuzz > /dev/null 2>&1 echo c - fuzz/pkg mkdir -p fuzz/pkg > /dev/null 2>&1 echo x - fuzz/pkg/PLIST sed 's/^X//' >fuzz/pkg/PLIST << 'END-of-fuzz/pkg/PLIST' Xbin/fuzz Xlib/fuzzlib Xshare/texmf/tex/fuzz.sty Xshare/texmf/fonts/source/local/oxsz.mf Xshare/texmf/fonts/source/local/oxsz10.mf Xshare/texmf/fonts/source/local/oxsz5.mf Xshare/texmf/fonts/source/local/oxsz6.mf Xshare/texmf/fonts/source/local/oxsz7.mf Xshare/texmf/fonts/source/local/oxsz8.mf Xshare/texmf/fonts/source/local/oxsz9.mf Xshare/texmf/fonts/source/local/zarrow.mf Xshare/texmf/fonts/source/local/zletter.mf Xshare/texmf/fonts/source/local/zsymbol.mf X@dirrm share/texmf/fonts/source/local END-of-fuzz/pkg/PLIST echo x - fuzz/pkg/COMMENT sed 's/^X//' >fuzz/pkg/COMMENT << 'END-of-fuzz/pkg/COMMENT' XType-checker for TeX files containing Z statements END-of-fuzz/pkg/COMMENT echo x - fuzz/pkg/DESCR sed 's/^X//' >fuzz/pkg/DESCR << 'END-of-fuzz/pkg/DESCR' XFuzz is a type-checker for TeX files containging Z statements. The package Xalso contains TeX fonts and styles for Z. It is free for non-commercial use. X XWWW: http://spivey.oriel.ox.ac.uk/mike/fuzz/ X X- Theo van Klaveren Xt.vanklaveren@student.utwente.nl END-of-fuzz/pkg/DESCR echo c - fuzz/files mkdir -p fuzz/files > /dev/null 2>&1 echo x - fuzz/files/md5 sed 's/^X//' >fuzz/files/md5 << 'END-of-fuzz/files/md5' XMD5 (fuzz2000.tar.gz) = 77368576c2702381923634f8258d9a59 END-of-fuzz/files/md5 echo c - fuzz/patches mkdir -p fuzz/patches > /dev/null 2>&1 echo x - fuzz/patches/patch-aa sed 's/^X//' >fuzz/patches/patch-aa << 'END-of-fuzz/patches/patch-aa' X--- Makefile.orig Fri Jul 7 18:18:56 2000 X+++ Makefile Sun Sep 24 15:39:24 2000 X@@ -1,10 +1,10 @@ X # root/Makefile X X # Edit these directories to suit your setup X-BINDIR = /usr/local/bin X-LIBDIR = /usr/local/lib X-TEXDIR = /usr/lib/tex/texmf/tex X-MFDIR = /usr/lib/tex/texmf/fonts/source/local X+BINDIR = ${PREFIX}/bin X+LIBDIR = ${PREFIX}/lib X+TEXDIR = ${PREFIX}/share/texmf/tex X+MFDIR = ${PREFIX}/share/texmf/fonts/source/local X X INSTALL = install X X@@ -14,10 +14,10 @@ X $(MAKE) -C test test X X install: force X- $(INSTALL) -m 755 src/fuzz $(BINDIR) X- $(INSTALL) -m 644 src/fuzzlib $(LIBDIR) X- $(INSTALL) -m 644 tex/fuzz.sty $(TEXDIR) X- $(INSTALL) -m 644 tex/*.mf $(MFDIR) X+ $(INSTALL) -c -m 755 src/fuzz $(BINDIR) X+ $(INSTALL) -c -m 644 src/fuzzlib $(LIBDIR) X+ $(INSTALL) -c -m 644 tex/fuzz.sty $(TEXDIR) X+ $(INSTALL) -c -m 644 tex/*.mf $(MFDIR) X X dist: doc distclean fuzz2000.tar.gz X X@@ -30,7 +30,7 @@ X $(MAKE) -C $@ all X X clean distclean realclean: force X- for d in $(SUBDIRS); do make -C $$d $@; done X+ for d in $(SUBDIRS); do ${MAKE} -C $$d $@; done X X rcsclean: force X rcsclean END-of-fuzz/patches/patch-aa echo x - fuzz/patches/patch-ab sed 's/^X//' >fuzz/patches/patch-ab << 'END-of-fuzz/patches/patch-ab' X--- src/Makefile.orig Sun Sep 24 15:27:54 2000 X+++ src/Makefile Sun Sep 24 15:28:22 2000 X@@ -9,7 +9,7 @@ X LEX = flex X LFLAGS = -s X CC=gcc X-CPP=/lib/cpp X+CPP=/usr/libexec/cpp -E X DEFINES = -DDEBUG -DANSI X X fuzz: $(FUZZ) X@@ -31,12 +31,12 @@ X symbol.h : zparse.c X X absyn.h: absyn.x absyn.k X- gawk -f absyn.k absyn.x >absyn.h X+ awk -f absyn.k absyn.x >absyn.h X X fuzzlib: symdef.x fuzzlib.k fuzzlib.x minilib.x opdef.x symbol.h X $(CPP) $(DEFINES) symdef.x >symdef.i X- gawk -f fuzzlib.k output=fuzzlib fuzzlib.x >fuzzlib X- gawk -f fuzzlib.k output=minilib minilib.x >minilib X+ awk -f fuzzlib.k output=fuzzlib fuzzlib.x >fuzzlib X+ awk -f fuzzlib.k output=minilib minilib.x >minilib X rm symdef.i X X $(FUZZ): fuzz.h proto.h symbol.h absyn.h END-of-fuzz/patches/patch-ab echo x - fuzz/Makefile sed 's/^X//' >fuzz/Makefile << 'END-of-fuzz/Makefile' X# New ports collection Makefile for: fuzz X# Date created: 24 September 2000 X# Whom: t.vanklaveren@student.utwente.nl X# X# $FreeBSD$ X# X XPORTNAME= fuzz XPORTVERSION= 2000 XCATEGORIES= devel XMASTER_SITES= http://spivey.oriel.ox.ac.uk/mike/fuzz/ XDISTFILES= ${PORTNAME}${PORTVERSION}.tar.gz XWRKSRC= ${WRKDIR}/${PORTNAME}${PORTVERSION} X XMAINTAINER= t.vanklaveren@student.utwente.nl X XBUILD_DEPENDS= ${LOCALBASE}/bin/bison:${PORTSDIR}/devel/bison XRUN_DEPENDS= ${LOCALBASE}/bin/tex:${PORTSDIR}/print/teTeX XUSE_GMAKE= yes X XRESTRICTED= "For non-commercial use only" X Xpre-install: X ${MKDIR} -p ${PREFIX}/share/texmf/fonts/source/local X Xpost-install: X ${LOCALBASE}/bin/texhash X X.include <bsd.port.mk> X END-of-fuzz/Makefile exit >Release-Note: >Audit-Trail: >Unformatted: To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-ports" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20000924140730.D80043D4>