Date: Fri, 4 Aug 2000 16:43:52 -0700 (PDT) From: tkato@prontomail.ne.jp To: freebsd-gnats-submit@FreeBSD.org Subject: ports/20418: Update port: cad/sis Message-ID: <20000804234352.42CB637B81C@hub.freebsd.org>
next in thread | raw e-mail | index | archive | help
>Number: 20418 >Category: ports >Synopsis: Update port: cad/sis >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: Fri Aug 04 16:50:01 PDT 2000 >Closed-Date: >Last-Modified: >Originator: KATO Tsuguru >Release: 4.1-RELEASE i386 >Organization: >Environment: >Description: - Support CC/CFLAGS/PREFIX/X11BASE/MAKE properly - Sort pkg/PLIST New file: patches/patch-ag patches/patch-ah patches/patch-ai patches/patch-aj patches/patch-ak patches/patch-al patches/patch-am patches/patch-an patches/patch-ao patches/patch-ap patches/patch-aq patches/patch-ar patches/patch-as patches/patch-at patches/patch-au patches/patch-av patches/patch-aw patches/patch-ax patches/patch-ay patches/patch-az patches/patch-ba patches/patch-bb patches/patch-bc patches/patch-bd Remove file: patches/patch-aa >How-To-Repeat: >Fix: diff -urN /usr/ports/cad/sis/Makefile cad/sis/Makefile --- /usr/ports/cad/sis/Makefile Sun Apr 9 15:43:16 2000 +++ cad/sis/Makefile Fri Aug 4 02:54:15 2000 @@ -50,14 +50,13 @@ ${INSTALL_MAN} ${WRKSRC}/espresso/espresso.5 ${PREFIX}/man/man5 ${INSTALL_MAN} ${WRKSRC}/espresso/pla.5 ${PREFIX}/man/man5 ${MKDIR} ${PREFIX}/lib/sis - ${CP} -R ${WRKSRC}/sis/sis_lib ${PREFIX}/lib/sis - + ${TAR} -C ${WRKSRC}/sis/sis_lib -cf - . | \ + ${TAR} -C ${PREFIX}/lib/sis --unlink -xf - .if !defined(NOPORTDOCS) -post-install: ${INSTALL_DATA} ${WRKSRC}/SIS_paper.ps ${PREFIX}/lib/sis ${INSTALL_DATA} ${WRKSRC}/RELEASE-NOTES-1.2 ${PREFIX}/lib/sis ${GZIP_CMD} ${PREFIX}/lib/sis/SIS_paper.ps - ${CHOWN} -R bin:bin ${PREFIX}/lib/sis .endif + ${CHOWN} -R bin:bin ${PREFIX}/lib/sis .include <bsd.port.mk> diff -urN /usr/ports/cad/sis/files/Makefile.FreeBSD cad/sis/files/Makefile.FreeBSD --- /usr/ports/cad/sis/files/Makefile.FreeBSD Sun Aug 29 19:58:08 1999 +++ cad/sis/files/Makefile.FreeBSD Thu Aug 3 22:52:41 2000 @@ -4,44 +4,44 @@ MACHINE = FreeBSD SRCDIR = ${.CURDIR} -X11 = /usr/X11R6 +X11 = ${X11BASE} SIS = $(SRCDIR)/sis CAD = $(SRCDIR)/cad LIBDIR = $(PREFIX)/lib/sis -CC = cc +CC ?= cc all: - cd sis; make -f Makefile.nooct SIS=$(SIS) LIBDIR=$(LIBDIR) CAD=$(CAD) CC=$(CC); cd .. - cd utility; make CAD=$(CAD) CC=$(CC) libutility.a; \ + cd sis; $(MAKE) -f Makefile.nooct SIS=$(SIS) LIBDIR=$(LIBDIR) CAD=$(CAD) CC=$(CC); cd .. + cd utility; $(MAKE) CAD=$(CAD) CC=$(CC) libutility.a; \ mv libutility.a $(CAD)/lib; cd .. - cd options; make CAD=$(CAD) CC=$(CC) liboptions.a; \ + cd options; $(MAKE) CAD=$(CAD) CC=$(CC) liboptions.a; \ mv liboptions.a $(CAD)/lib; cd .. - cd jedi; make CAD=$(CAD) CC=$(CC); cd .. - cd espresso; make CAD=$(CAD) CC=$(CC); cd .. - cd nova; make CAD=$(CAD) SIS=$(SIS) CC=$(CC); cd .. - cd sred; make SIS=$(SIS) CC=$(CC); cd .. - cd stamina; make MACHINE=$(MACHINE) CC=$(CC) SIS=$(SIS); cd .. - cd vst2blif; make MACHINE=$(MACHINE) CC=$(CC); cd .. - cd blif2vst; make MACHINE=$(MACHINE) CC=$(CC); cd .. - cd xsis; make SIS=$(SIS) MACHINE=$(MACHINE) X11=$(X11) CC=$(CC); cd .. + cd jedi; $(MAKE) CAD=$(CAD) CC=$(CC); cd .. + cd espresso; $(MAKE) CAD=$(CAD) CC=$(CC); cd .. + cd nova; $(MAKE) CAD=$(CAD) SIS=$(SIS) CC=$(CC); cd .. + cd sred; $(MAKE) SIS=$(SIS) CC=$(CC); cd .. + cd stamina; $(MAKE) MACHINE=$(MACHINE) CC=$(CC) SIS=$(SIS); cd .. + cd vst2blif; $(MAKE) MACHINE=$(MACHINE) CC=$(CC); cd .. + cd blif2vst; $(MAKE) MACHINE=$(MACHINE) CC=$(CC); cd .. + cd xsis; $(MAKE) SIS=$(SIS) MACHINE=$(MACHINE) X11=$(X11) CC=$(CC); cd .. clean: - cd sis; make SIS=$(SIS) CAD=$(CAD) clean; cd .. - cd utility; make clean; cd .. + cd sis; $(MAKE) SIS=$(SIS) CAD=$(CAD) clean; cd .. + cd utility; $(MAKE) clean; cd .. -rm $(CAD)/lib/libutility.a - cd options; make clean; cd .. + cd options; $(MAKE) clean; cd .. -rm $(CAD)/lib/liboptions.a - cd jedi; make clean; cd .. - cd stamina; make clean; cd .. - cd sred; make clean; cd .. - cd nova; make clean; cd .. - cd espresso; make clean; cd .. - cd vst2blif; make clean; cd .. - cd blif2vst; make clean; cd .. - cd xsis; make clean; cd .. - cd stamina; make cleanall; cd .. - cd sis; make strip_depend; rm -rf lib/*; cd .. + cd jedi; $(MAKE) clean; cd .. + cd stamina; $(MAKE) clean; cd .. + cd sred; $(MAKE) clean; cd .. + cd nova; $(MAKE) clean; cd .. + cd espresso; $(MAKE) clean; cd .. + cd vst2blif; $(MAKE) clean; cd .. + cd blif2vst; $(MAKE) clean; cd .. + cd xsis; $(MAKE) clean; cd .. + cd stamina; $(MAKE) cleanall; cd .. + cd sis; $(MAKE) strip_depend; rm -rf lib/*; cd .. -rm -rf make.out Makefile diff -urN /usr/ports/cad/sis/patches/patch-aa cad/sis/patches/patch-aa --- /usr/ports/cad/sis/patches/patch-aa Thu Jul 2 00:39:43 1998 +++ cad/sis/patches/patch-aa Thu Jan 1 09:00:00 1970 @@ -1,461 +0,0 @@ -diff -ru ./blif2vst/Makefile ../sis-1.2.1/blif2vst/Makefile ---- ./blif2vst/Makefile Fri Jul 15 01:46:34 1994 -+++ ../sis-1.2.1/blif2vst/Makefile Tue Nov 18 19:14:29 1997 -@@ -15,7 +15,7 @@ - # for HPUX - SHELL = /bin/sh - --MAKE = /bin/make -+MAKE = make - AR = ar - RANLIB = ranlib - CPLUSPLUS = g++ -@@ -23,8 +23,8 @@ - OCTTOOLS = /projects/octtools/octtools/$(MACHINE) - SIS = /usr/eesww/sis - UTILS = ${OCTTOOLS}/utils --XINCLOC = -I/usr/local/X11R4/include --XLIBLOC = -L/usr/local/X11R4/lib -+XINCLOC = -I/usr/X11R6/include -+XLIBLOC = -L/usr/X11R6/lib - - LINTCREATEFLAG = -C - LINTEXTRAS = -diff -ru ./espresso/Makefile ../sis-1.2.1/espresso/Makefile ---- ./espresso/Makefile Thu May 14 17:41:00 1992 -+++ ../sis-1.2.1/espresso/Makefile Sun Nov 16 17:16:17 1997 -@@ -67,7 +67,7 @@ - # for HPUX - SHELL = /bin/sh - --MAKE = /bin/make -+MAKE = make - - CAD = /octtools/release-3.0 - CADROOT = ~octtools -@@ -97,9 +97,9 @@ - # tools required for this tool - TOOLREQUIRE = - --SRC = cofactor.c cols.c compl.c contain.c cubestr.c cvrin.c cvrm.c cvrmisc.c cvrout.c dominate.c equiv.c espresso.c essen.c exact.c expand.c gasp.c getopt.c gimpel.c globals.c hack.c indep.c irred.c main.c map.c matrix.c mincov.c opo.c pair.c part.c primes.c reduce.c rows.c set.c setc.c sharp.c sminterf.c solution.c sparse.c unate.c verify.c --LSRC = cofactor.c cols.c compl.c contain.c cubestr.c cvrin.c cvrm.c cvrmisc.c cvrout.c dominate.c equiv.c espresso.c essen.c exact.c expand.c gasp.c getopt.c gimpel.c globals.c hack.c indep.c irred.c main.c map.c matrix.c mincov.c opo.c pair.c part.c primes.c reduce.c rows.c set.c setc.c sharp.c sminterf.c solution.c sparse.c unate.c verify.c --OBJ = cofactor.o cols.o compl.o contain.o cubestr.o cvrin.o cvrm.o cvrmisc.o cvrout.o dominate.o equiv.o espresso.o essen.o exact.o expand.o gasp.o getopt.o gimpel.o globals.o hack.o indep.o irred.o main.o map.o matrix.o mincov.o opo.o pair.o part.o primes.o reduce.o rows.o set.o setc.o sharp.o sminterf.o solution.o sparse.o unate.o verify.o -+SRC = cofactor.c cols.c compl.c contain.c cubestr.c cvrin.c cvrm.c cvrmisc.c cvrout.c dominate.c equiv.c espresso.c essen.c exact.c expand.c gasp.c gimpel.c globals.c hack.c indep.c irred.c main.c map.c matrix.c mincov.c opo.c pair.c part.c primes.c reduce.c rows.c set.c setc.c sharp.c sminterf.c solution.c sparse.c unate.c verify.c -+LSRC = cofactor.c cols.c compl.c contain.c cubestr.c cvrin.c cvrm.c cvrmisc.c cvrout.c dominate.c equiv.c espresso.c essen.c exact.c expand.c gasp.c gimpel.c globals.c hack.c indep.c irred.c main.c map.c matrix.c mincov.c opo.c pair.c part.c primes.c reduce.c rows.c set.c setc.c sharp.c sminterf.c solution.c sparse.c unate.c verify.c -+OBJ = cofactor.o cols.o compl.o contain.o cubestr.o cvrin.o cvrm.o cvrmisc.o cvrout.o dominate.o equiv.o espresso.o essen.o exact.o expand.o gasp.o gimpel.o globals.o hack.o indep.o irred.o main.o map.o matrix.o mincov.o opo.o pair.o part.o primes.o reduce.o rows.o set.o setc.o sharp.o sminterf.o solution.o sparse.o unate.o verify.o - HDR = espresso.h main.h mincov.h mincov_int.h sparse.h sparse_int.h - - CADBIN = ${CAD}/bin -diff -ru ./jedi/Makefile ../sis-1.2.1/jedi/Makefile ---- ./jedi/Makefile Sun Jan 17 02:52:25 1993 -+++ ../sis-1.2.1/jedi/Makefile Sun Nov 16 17:16:17 1997 -@@ -67,7 +67,7 @@ - # for HPUX - SHELL = /bin/sh - --MAKE = /bin/make -+MAKE = make - - CAD = /octtools/release-3.0 - CADROOT = ~octtools -@@ -97,9 +97,9 @@ - # tools required for this tool - TOOLREQUIRE = - --SRC = cluster.c expand.c getopt.c hill.c hot.c jedi.c options.c random.c read.c rp.c util.c weights.c write.c --LSRC = cluster.c expand.c getopt.c hill.c hot.c jedi.c options.c random.c read.c rp.c util.c weights.c write.c --OBJ = cluster.o expand.o getopt.o hill.o hot.o jedi.o options.o random.o read.o rp.o util.o weights.o write.o -+SRC = cluster.c expand.c hill.c hot.c jedi.c options.c random.c read.c rp.c util.c weights.c write.c -+LSRC = cluster.c expand.c hill.c hot.c jedi.c options.c random.c read.c rp.c util.c weights.c write.c -+OBJ = cluster.o expand.o hill.o hot.o jedi.o options.o random.o read.o rp.o util.o weights.o write.o - HDR = jedi.h jedi_int.h rp.h rp_int.h util.h - - CADBIN = ${CAD}/bin -diff -ru ./nova/Makefile ../sis-1.2.1/nova/Makefile ---- ./nova/Makefile Thu May 14 17:41:12 1992 -+++ ../sis-1.2.1/nova/Makefile Tue Nov 18 19:14:09 1997 -@@ -48,7 +48,7 @@ - # for HPUX - SHELL = /bin/sh - --MAKE = /bin/make -+MAKE = make - AR = ar - RANLIB = ranlib - CPLUSPLUS = g++ -@@ -57,8 +57,8 @@ - OCTTOOLS= ${CAD} - CADROOT = $$OCTTOOLS - UTILS = ${OCTTOOLS}/utils --XINCLOC = -I/usr/local/X11R4/include --XLIBLOC = -L/usr/local/X11R4/lib -+XINCLOC = -I/usr/X11R6/include -+XLIBLOC = -L/usr/X11R6/lib - - LINTCREATEFLAG = -C - LINTEXTRAS = -diff -ru ./nova/exact_backtrack.c ../sis-1.2.1/nova/exact_backtrack.c ---- ./nova/exact_backtrack.c Thu May 14 17:41:14 1992 -+++ ../sis-1.2.1/nova/exact_backtrack.c Sun Nov 16 18:58:57 1997 -@@ -9,6 +9,10 @@ - */ - #include "nova.h" - -+#ifdef __FreeBSD__ -+extern char *a_inter_b(char *a, char *b, int constr_card, int dim); -+#endif -+ - /****************************************************************************** - * Upper level backtracking * - ******************************************************************************/ -@@ -836,7 +840,11 @@ - SONS_LINK *son_scanner; - CONSTRAINT_E *scanner,*constrptr,*inter_ptr,*exist_son(); - char *new_code,*inter_code,*gen_newcode_cat1(),*gen_newcode_cat2(), -- *gen_newcode_cat3(),*a_inter_b(); -+ *gen_newcode_cat3() -+#ifndef __FreeBSD__ -+ ,*a_inter_b() -+#endif -+ ; - int level; - BOOLEAN ok_to_code; - -@@ -1161,7 +1169,11 @@ - { - - FATHERS_LINK *father_scanner; -- char *ft_inter,*a_inter_b(),*prov_ptr; -+ char *ft_inter, -+#ifndef __FreeBSD__ -+ *a_inter_b(), -+#endif -+ *prov_ptr; - BOOLEAN flag; - int i; - -@@ -1340,7 +1352,11 @@ - { - - CONSTRAINT_E *constrptr; -- char *inter_code,*inter_constr,*a_inter_b(),*c1_inter_c2(); -+ char *inter_code,*inter_constr, -+#ifndef __FreeBSD_ -+ *a_inter_b(), -+#endif -+ *c1_inter_c2(); - int i,state_pos1,state_pos2; - - for (i = graph_depth-1; i >= 0; i--) { -diff -ru ./options/Makefile ../sis-1.2.1/options/Makefile ---- ./options/Makefile Sat Jul 16 00:53:39 1994 -+++ ../sis-1.2.1/options/Makefile Sun Nov 16 17:16:18 1997 -@@ -67,7 +67,7 @@ - # for HPUX - SHELL = /bin/sh - --MAKE = /bin/make -+MAKE = make - AR = ar - RANLIB = ranlib - CPLUSPLUS = g++ -diff -ru ./port/port.h ../sis-1.2.1/port/port.h ---- ./port/port.h Sun Nov 16 17:06:44 1997 -+++ ../sis-1.2.1/port/port.h Sun Nov 16 18:51:41 1997 -@@ -110,7 +110,7 @@ - #define LACK_SYS5 - #endif - --#if defined(ultrix3) || defined(sunos4) || defined(_IBMR2) || defined(ultrix4) || defined(__osf__) -+#if defined(ultrix3) || defined(sunos4) || defined(_IBMR2) || defined(ultrix4) || defined(__osf__) || defined(__FreeBSD__) - #define SIGNAL_FN void - #else - /* sequent, ultrix2, 4.3BSD (vax, hp), sunos3 */ -diff -ru ./sis/Makefile ../sis-1.2.1/sis/Makefile ---- ./sis/Makefile Sat Jul 16 01:02:00 1994 -+++ ../sis-1.2.1/sis/Makefile Sun Nov 16 17:21:16 1997 -@@ -13,7 +13,7 @@ - UNPACK = unpack - COPY = . - SHELL = /bin/sh --MAKE = /bin/make -+MAKE = make - REQUIRE = oh oct utility st errtrap mm port - LINTCREATEFLAG = -C - LINTEXTRAS = -DOCT -DUSE_MM -DSIS -@@ -92,21 +92,21 @@ - @for dir in $(DIRS); do \ - (cd $$dir; \ - echo Making $$dir ...; \ -- ${MAKE} CC=$(CC) 'CFLAGS=$(CFLAGS) $$(INCLUDE)' SIS=$(SIS) CADROOT=$(CADROOT) CAD=$(CAD) lib$$dir.a)\ -+ ${MAKE} CC=$(CC) 'CFLAGS=$(CFLAGS) $$(INCLUDE)' SIS=$(SIS) CADROOT=$(CADROOT) CAD=$(CAD) LIBDIR=$(LIBDIR) lib$$dir.a)\ - done - - do_makeg: - @for dir in $(DIRS); do \ - (cd $$dir; \ - echo Making $$dir ...; \ -- ${MAKE} CC=$(CC) 'CFLAGS=$(CFLAGSG) $$(INCLUDE)' SIS=$(SIS) CADROOT=$(CADROOT) CAD=$(CAD) lib$$dir.a)\ -+ ${MAKE} CC=$(CC) 'CFLAGS=$(CFLAGSG) $$(INCLUDE)' SIS=$(SIS) CADROOT=$(CADROOT) CAD=$(CAD) LIBDIR=$(LIBDIR) lib$$dir.a)\ - done - - do_lintlib: - @-for dir in $(DIRS); do \ - (cd $$dir; \ - echo Linting $$dir ...; \ -- ${MAKE} SIS=$(SIS) LINTCREATEFLAG=${LINTCREATEFLAG} LINTEXTRAS=${LINTEXTRAS} CADROOT=$(CADROOT) CAD=$(CAD) llib-l$$dir.ln); \ -+ ${MAKE} SIS=$(SIS) LINTCREATEFLAG=${LINTCREATEFLAG} LINTEXTRAS=${LINTEXTRAS} CADROOT=$(CADROOT) CAD=$(CAD) LIBDIR=$(LIBDIR) llib-l$$dir.ln); \ - done - - do_repack: -@@ -142,7 +142,7 @@ - @for dir in $(DIRS); do \ - (cd $$dir; \ - echo Cleaning $$dir ...; \ -- ${MAKE} -i CAD=$(CAD) SIS=$(SIS) strip_depend >/dev/null \ -+ ${MAKE} -i CAD=$(CAD) SIS=$(SIS) strip_depend >/dev/null; \ - ${MAKE} -i CAD=$(CAD) SIS=$(SIS) clean >/dev/null) \ - done - -@@ -201,7 +201,7 @@ - @for dir in $(DIRS); do \ - (cd $$dir; \ - echo; echo "lint $$dir ..."; \ -- ${MAKE} SIS=$(SIS) 'CFLAGS=$(CFLAGSG) $$(INCLUDE)' LINTCREATEFLAG=${LINTCREATEFLAG} LINTEXTRAS=${LINTEXTRAS} CADROOT=${CADROOT} CAD=$(CAD) lint) \ -+ ${MAKE} SIS=$(SIS) 'CFLAGS=$(CFLAGSG) $$(INCLUDE)' LINTCREATEFLAG=${LINTCREATEFLAG} LINTEXTRAS=${LINTEXTRAS} CADROOT=${CADROOT} CAD=$(CAD) LIBDIR=$(LIBDIR) lint) \ - done - - wc: -@@ -221,7 +221,7 @@ - (cd $$dir; \ - sleep 1; \ - echo $$dir; \ -- ${MAKE} CAD=$(CAD) tags) \ -+ ${MAKE} CAD=$(CAD) \ - done - sort -o tags tags - -diff -ru ./sis/Makefile.nooct ../sis-1.2.1/sis/Makefile.nooct ---- ./sis/Makefile.nooct Sat Jul 16 00:56:21 1994 -+++ ../sis-1.2.1/sis/Makefile.nooct Sun Nov 16 17:16:18 1997 -@@ -13,7 +13,7 @@ - UNPACK = unpack - COPY = . - SHELL = /bin/sh --MAKE = /bin/make -+MAKE = make - REQUIRE = oh oct utility st errtrap mm port - LINTCREATEFLAG = -C - LINTEXTRAS = -DOCT -DUSE_MM -DSIS -diff -ru ./sis/astg/bwd_com.c ../sis-1.2.1/sis/astg/bwd_com.c ---- ./sis/astg/bwd_com.c Sun Nov 16 17:06:45 1997 -+++ ../sis-1.2.1/sis/astg/bwd_com.c Tue Nov 18 19:06:43 1997 -@@ -1216,7 +1216,7 @@ - ns = stg_get_num_states (stg); - fprintf (siserr, "give the codes in the form state_name binary_code\n"); - for (i = 0; i < ns; i++) { -- gets (buf1); -+ fgets (buf1, sizeof(buf1), stdin); - do { - sscanf (buf1, "%s %s", buf2, buf3); - state = stg_get_state_by_name (stg, buf2); -diff -ru ./sis/main/Makefile ../sis-1.2.1/sis/main/Makefile ---- ./sis/main/Makefile Sat Jul 16 00:48:37 1994 -+++ ../sis-1.2.1/sis/main/Makefile Sun Nov 16 17:20:33 1997 -@@ -61,7 +61,7 @@ - - version.o: version.c - $(CC) $(CFLAGS) -c "-DCUR_DATE=\"`date`\"" \ -- "-DLIBRARY=\"$(SIS)/sis_lib\"" version.c -+ "-DLIBRARY=\"$(LIBDIR)/sis_lib\"" version.c - - #---------------------------------------------------------------------- - -diff -ru ./sis/util/pipefork.c ../sis-1.2.1/sis/util/pipefork.c ---- ./sis/util/pipefork.c Thu Sep 9 19:24:32 1993 -+++ ../sis-1.2.1/sis/util/pipefork.c Sun Nov 16 18:45:12 1997 -@@ -38,7 +38,7 @@ - int forkpid, waitpid; - int topipe[2], frompipe[2]; - char buffer[1024]; --#if (defined hpux) || (defined __osf__) || (defined _IBMR2) -+#if (defined hpux) || (defined __osf__) || (defined _IBMR2) || (defined __FreeBSD__) - int status; - #else - union wait status; -diff -ru ./sred/Makefile ../sis-1.2.1/sred/Makefile ---- ./sred/Makefile Fri Mar 11 17:58:41 1994 -+++ ../sis-1.2.1/sred/Makefile Tue Nov 18 19:14:14 1997 -@@ -17,7 +17,7 @@ - # for HPUX - SHELL = /bin/sh - --MAKE = /bin/make -+MAKE = make - AR = ar - RANLIB = ranlib - CPLUSPLUS = g++ -@@ -26,8 +26,8 @@ - # SIS = /projects/classes/sis/$(MACHINE) - SIS = /usr/eesww/sis - UTILS = ${OCTTOOLS}/utils --XINCLOC = -I/usr/local/X11R4/include --XLIBLOC = -L/usr/local/X11R4/lib -+XINCLOC = -I/usr/X11R6/include -+XLIBLOC = -L/usr/X11R6/lib - - LINTCREATEFLAG = -C - LINTEXTRAS = -diff -ru ./stamina/mimi/main.c ../sis-1.2.1/stamina/mimi/main.c ---- ./stamina/mimi/main.c Sun Nov 16 17:06:59 1997 -+++ ../sis-1.2.1/stamina/mimi/main.c Sun Nov 16 19:00:14 1997 -@@ -23,6 +23,10 @@ - struct u user; - long t_start; - -+#ifdef __FreeBSD__ -+static usage(char *prog); -+#endif -+ - main(argc,argv) - char **argv; - { -diff -ru ./stamina/mimi/stack.c ../sis-1.2.1/stamina/mimi/stack.c ---- ./stamina/mimi/stack.c Sat Jul 16 00:58:59 1994 -+++ ../sis-1.2.1/stamina/mimi/stack.c Thu Nov 20 12:43:18 1997 -@@ -20,6 +20,10 @@ - static int **top_of_stack; - static int **stack_ptr; - -+#ifdef __FreeBSD__ -+static _push(int *operand); -+#endif -+ - /* Emulation of the stack operation */ - /* This routine guarantees compact use of memory */ - /* But is must pay for it in terms of time */ -@@ -85,9 +89,9 @@ - (void) printf("Push %s %s \n",states[state1]->state_name,states[state2]->state_name); - #endif - if (state2 > state1) -- _push(&xstack[(num_st-state1-2)*(num_st-state1-1)/2-state2+num_st-1]); -+ _push((int *)&xstack[(num_st-state1-2)*(num_st-state1-1)/2-state2+num_st-1]); - else -- _push(&xstack[(num_st-state2-2)*(num_st-state2-1)/2-state1+num_st-1]); -+ _push((int *)&xstack[(num_st-state2-2)*(num_st-state2-1)/2-state1+num_st-1]); - } - - static -diff -ru ./utility/Makefile ../sis-1.2.1/utility/Makefile ---- ./utility/Makefile Sat Jul 16 00:55:23 1994 -+++ ../sis-1.2.1/utility/Makefile Sun Nov 16 17:16:19 1997 -@@ -67,7 +67,7 @@ - # for HPUX - SHELL = /bin/sh - --MAKE = /bin/make -+MAKE = make - AR = ar - RANLIB = ranlib - CPLUSPLUS = g++ -diff -ru ./utility/csystem.c ../sis-1.2.1/utility/csystem.c ---- ./utility/csystem.c Sat Oct 24 01:31:44 1992 -+++ ../sis-1.2.1/utility/csystem.c Tue Nov 18 18:56:31 1997 -@@ -17,8 +17,12 @@ - util_csystem(s) - char *s; - { -+#ifdef __FreeBSD__ -+ sig_t istat, qstat; -+#else - register SIGNAL_FN (*istat)(), (*qstat)(); --#if defined(_IBMR2) || defined(__osf__) -+#endif -+#if defined(_IBMR2) || defined(__osf__) || defined(__FreeBSD__) - int status; - #else - union wait status; -@@ -39,7 +43,7 @@ - if (w == -1) { /* check for no children ?? */ - retval = -1; - } else { --#if defined(_IBMR2) || defined(__osf__) -+#if defined(_IBMR2) || defined(__osf__) || defined(__FreeBSD__) - retval = status; - #else - retval = status.w_status; -diff -ru ./utility/pipefork.c ../sis-1.2.1/utility/pipefork.c ---- ./utility/pipefork.c Sat Apr 23 04:05:01 1994 -+++ ../sis-1.2.1/utility/pipefork.c Sun Nov 16 18:52:48 1997 -@@ -37,7 +37,7 @@ - int forkpid, waitpid; - int topipe[2], frompipe[2]; - char buffer[1024]; --#if defined(__hpux) || defined (__osf__) -+#if defined(__hpux) || defined (__osf__) || defined(__FreeBSD__) - int status; - #else - union wait status; -diff -ru ./vst2blif/Makefile ../sis-1.2.1/vst2blif/Makefile ---- ./vst2blif/Makefile Fri Jul 15 01:45:02 1994 -+++ ../sis-1.2.1/vst2blif/Makefile Tue Nov 18 19:14:02 1997 -@@ -15,7 +15,7 @@ - # for HPUX - SHELL = /bin/sh - --MAKE = /bin/make -+MAKE = make - AR = ar - RANLIB = ranlib - CPLUSPLUS = g++ -@@ -23,8 +23,8 @@ - OCTTOOLS = /projects/octtools/octtools/$(MACHINE) - SIS = /usr/eesww/sis - UTILS = ${OCTTOOLS}/utils --XINCLOC = -I/usr/local/X11R4/include --XLIBLOC = -L/usr/local/X11R4/lib -+XINCLOC = -I/usr/X11R6/include -+XLIBLOC = -L/usr/X11R6/lib - - LINTCREATEFLAG = -C - LINTEXTRAS = -diff -ru ./xsis/main.c ../sis-1.2.1/xsis/main.c ---- ./xsis/main.c Sat Jul 16 00:55:57 1994 -+++ ../sis-1.2.1/xsis/main.c Sun Nov 16 17:16:20 1997 -@@ -242,7 +242,11 @@ - xsis_world.child_status = XSIS_IDLE; - xsis_tty_block (xsis_world.sis_pty,0); - if (xsis_world.debug) printf("Starting %s, PID %d.\n",sis_exec,pid); -+#if defined(SIGCLD) - signal (SIGCLD,catch_sigcld); -+#else -+ signal (SIGCHLD,catch_sigcld); -+#endif - xsis_main (argc,argv); - close (master); - } -@@ -253,7 +257,11 @@ - return (-1); - } else { - terminfo.c_oflag &= ~ONLCR; /* Don't map NL on output. */ -+#if defined(TAB3) - terminfo.c_oflag &= ~TAB3; /* Don't expand tabs on output. */ -+#else -+ terminfo.c_oflag &= ~OXTABS; -+#endif - terminfo.c_lflag |= ECHO; /* Echo all input. */ - terminfo.c_lflag |= ICANON; /* Use canonical input. */ - if (tcsetattr (slave, TCSADRAIN, &terminfo) != 0) { -diff -ru ./xsis/xutil.c ../sis-1.2.1/xsis/xutil.c ---- ./xsis/xutil.c Sat Jul 16 00:56:03 1994 -+++ ../sis-1.2.1/xsis/xutil.c Sun Nov 16 17:16:19 1997 -@@ -49,7 +49,9 @@ - /* Similar to perror but print errno value also for debugging. */ - - extern int sys_nerr; -+#if !defined(__FreeBSD__) - extern char *sys_errlist[]; -+#endif - - if (errno >= 0 && errno < sys_nerr) { - fprintf(stderr,"%s: %s (errno=%d)\n",s,sys_errlist[errno],errno); diff -urN /usr/ports/cad/sis/patches/patch-ab cad/sis/patches/patch-ab --- /usr/ports/cad/sis/patches/patch-ab Thu Oct 1 15:19:30 1998 +++ cad/sis/patches/patch-ab Fri Aug 4 03:25:24 2000 @@ -1,6 +1,6 @@ ---- xsis/Makefile.orig Thu Oct 1 01:05:09 1998 -+++ xsis/Makefile Thu Oct 1 01:05:48 1998 -@@ -40,6 +40,9 @@ +--- xsis/Makefile.orig Fri Mar 18 05:11:04 1994 ++++ xsis/Makefile Fri Aug 4 00:42:30 2000 +@@ -40,11 +40,14 @@ LIBS = $(SIS)/lib/libsis.a LIBS2 = -L$(X11)/lib -lXaw -lXmu -lXt -lXext -lX11 -lm @@ -10,3 +10,10 @@ # --------------------------------------------------------------------------- +-CC = cc +-CFLAGS = -O $(INCLUDE) ++CC ?= cc ++CFLAGS += $(INCLUDE) + LDFLAGS = + + $(TARGET): $(OBJ) $(LIBS) diff -urN /usr/ports/cad/sis/patches/patch-ag cad/sis/patches/patch-ag --- /usr/ports/cad/sis/patches/patch-ag Thu Jan 1 09:00:00 1970 +++ cad/sis/patches/patch-ag Fri Aug 4 00:14:19 2000 @@ -0,0 +1,39 @@ +--- blif2vst/Makefile.orig Fri Jul 15 08:46:34 1994 ++++ blif2vst/Makefile Fri Aug 4 00:14:03 2000 +@@ -15,22 +15,22 @@ + # for HPUX + SHELL = /bin/sh + +-MAKE = /bin/make ++#MAKE = /bin/make + AR = ar + RANLIB = ranlib +-CPLUSPLUS = g++ ++CPLUSPLUS = ${CXX} + + OCTTOOLS = /projects/octtools/octtools/$(MACHINE) + SIS = /usr/eesww/sis + UTILS = ${OCTTOOLS}/utils +-XINCLOC = -I/usr/local/X11R4/include +-XLIBLOC = -L/usr/local/X11R4/lib ++XINCLOC = -I${X11BASE}/include ++XLIBLOC = -L${X11BASE}/lib + + LINTCREATEFLAG = -C + LINTEXTRAS = + LDEXTRAS = + DBGFLAG = +-OPTFLAG = -O ++#OPTFLAG = -O + + # an alternative if you want links in the installation locations + # back to the source directories would be: +@@ -104,7 +104,7 @@ + "VPATH=${VPATH}" + + INCLUDE = +-CFLAGS = ${OPTFLAG} ${DBGFLAG} ${INCLUDE} ++CFLAGS += ${OPTFLAG} ${DBGFLAG} ${INCLUDE} + YFLAGS = -d + VERSION = "-DCUR_DATE=\"`date | awk '{print $$2, $$3, $$6}'`\"" \ + "-DCUR_TIME=\"`date | awk '{print $$4}'`\"" diff -urN /usr/ports/cad/sis/patches/patch-ah cad/sis/patches/patch-ah --- /usr/ports/cad/sis/patches/patch-ah Thu Jan 1 09:00:00 1970 +++ cad/sis/patches/patch-ah Fri Aug 4 00:07:56 2000 @@ -0,0 +1,42 @@ +--- espresso/Makefile.orig Fri May 15 00:41:00 1992 ++++ espresso/Makefile Fri Aug 4 00:07:40 2000 +@@ -67,7 +67,7 @@ + # for HPUX + SHELL = /bin/sh + +-MAKE = /bin/make ++#MAKE = /bin/make + + CAD = /octtools/release-3.0 + CADROOT = ~octtools +@@ -76,7 +76,7 @@ + LINTCREATEFLAG = -C + LINTEXTRAS = + DBGFLAG = +-OPTFLAG = ++#OPTFLAG = + + # an alternative if you want links in the installation locations + # back to the source directories would be: +@@ -97,9 +97,9 @@ + # tools required for this tool + TOOLREQUIRE = + +-SRC = cofactor.c cols.c compl.c contain.c cubestr.c cvrin.c cvrm.c cvrmisc.c cvrout.c dominate.c equiv.c espresso.c essen.c exact.c expand.c gasp.c getopt.c gimpel.c globals.c hack.c indep.c irred.c main.c map.c matrix.c mincov.c opo.c pair.c part.c primes.c reduce.c rows.c set.c setc.c sharp.c sminterf.c solution.c sparse.c unate.c verify.c +-LSRC = cofactor.c cols.c compl.c contain.c cubestr.c cvrin.c cvrm.c cvrmisc.c cvrout.c dominate.c equiv.c espresso.c essen.c exact.c expand.c gasp.c getopt.c gimpel.c globals.c hack.c indep.c irred.c main.c map.c matrix.c mincov.c opo.c pair.c part.c primes.c reduce.c rows.c set.c setc.c sharp.c sminterf.c solution.c sparse.c unate.c verify.c +-OBJ = cofactor.o cols.o compl.o contain.o cubestr.o cvrin.o cvrm.o cvrmisc.o cvrout.o dominate.o equiv.o espresso.o essen.o exact.o expand.o gasp.o getopt.o gimpel.o globals.o hack.o indep.o irred.o main.o map.o matrix.o mincov.o opo.o pair.o part.o primes.o reduce.o rows.o set.o setc.o sharp.o sminterf.o solution.o sparse.o unate.o verify.o ++SRC = cofactor.c cols.c compl.c contain.c cubestr.c cvrin.c cvrm.c cvrmisc.c cvrout.c dominate.c equiv.c espresso.c essen.c exact.c expand.c gasp.c gimpel.c globals.c hack.c indep.c irred.c main.c map.c matrix.c mincov.c opo.c pair.c part.c primes.c reduce.c rows.c set.c setc.c sharp.c sminterf.c solution.c sparse.c unate.c verify.c ++LSRC = cofactor.c cols.c compl.c contain.c cubestr.c cvrin.c cvrm.c cvrmisc.c cvrout.c dominate.c equiv.c espresso.c essen.c exact.c expand.c gasp.c gimpel.c globals.c hack.c indep.c irred.c main.c map.c matrix.c mincov.c opo.c pair.c part.c primes.c reduce.c rows.c set.c setc.c sharp.c sminterf.c solution.c sparse.c unate.c verify.c ++OBJ = cofactor.o cols.o compl.o contain.o cubestr.o cvrin.o cvrm.o cvrmisc.o cvrout.o dominate.o equiv.o espresso.o essen.o exact.o expand.o gasp.o gimpel.o globals.o hack.o indep.o irred.o main.o map.o matrix.o mincov.o opo.o pair.o part.o primes.o reduce.o rows.o set.o setc.o sharp.o sminterf.o solution.o sparse.o unate.o verify.o + HDR = espresso.h main.h mincov.h mincov_int.h sparse.h sparse_int.h + + CADBIN = ${CAD}/bin +@@ -146,7 +146,7 @@ + "VPATH=${VPATH}" + + INCLUDE = -I$(CAD)/include +-CFLAGS = ${OPTFLAG} ${DBGFLAG} ${INCLUDE} '-DCADROOT="${CADROOT}"' ++CFLAGS += ${OPTFLAG} ${DBGFLAG} ${INCLUDE} '-DCADROOT="${CADROOT}"' + VERSION = "-DCUR_DATE=\"`date | awk '{print $$2, $$3, $$6}'`\"" \ + "-DCUR_TIME=\"`date | awk '{print $$4}'`\"" + LINTFLAGS= ${INCLUDE} '-DCADROOT="${CADROOT}"'${LINTEXTRAS} diff -urN /usr/ports/cad/sis/patches/patch-ai cad/sis/patches/patch-ai --- /usr/ports/cad/sis/patches/patch-ai Thu Jan 1 09:00:00 1970 +++ cad/sis/patches/patch-ai Fri Aug 4 00:08:51 2000 @@ -0,0 +1,42 @@ +--- jedi/Makefile.orig Sun Jan 17 10:52:25 1993 ++++ jedi/Makefile Fri Aug 4 00:08:37 2000 +@@ -67,7 +67,7 @@ + # for HPUX + SHELL = /bin/sh + +-MAKE = /bin/make ++#MAKE = /bin/make + + CAD = /octtools/release-3.0 + CADROOT = ~octtools +@@ -76,7 +76,7 @@ + LINTCREATEFLAG = -C + LINTEXTRAS = + DBGFLAG = +-OPTFLAG = ++#OPTFLAG = + + # an alternative if you want links in the installation locations + # back to the source directories would be: +@@ -97,9 +97,9 @@ + # tools required for this tool + TOOLREQUIRE = + +-SRC = cluster.c expand.c getopt.c hill.c hot.c jedi.c options.c random.c read.c rp.c util.c weights.c write.c +-LSRC = cluster.c expand.c getopt.c hill.c hot.c jedi.c options.c random.c read.c rp.c util.c weights.c write.c +-OBJ = cluster.o expand.o getopt.o hill.o hot.o jedi.o options.o random.o read.o rp.o util.o weights.o write.o ++SRC = cluster.c expand.c hill.c hot.c jedi.c options.c random.c read.c rp.c util.c weights.c write.c ++LSRC = cluster.c expand.c hill.c hot.c jedi.c options.c random.c read.c rp.c util.c weights.c write.c ++OBJ = cluster.o expand.o hill.o hot.o jedi.o options.o random.o read.o rp.o util.o weights.o write.o + HDR = jedi.h jedi_int.h rp.h rp_int.h util.h + + CADBIN = ${CAD}/bin +@@ -146,7 +146,7 @@ + "VPATH=${VPATH}" + + INCLUDE = -I$(CAD)/include +-CFLAGS = ${OPTFLAG} ${DBGFLAG} ${INCLUDE} '-DCADROOT="${CADROOT}"' ++CFLAGS += ${OPTFLAG} ${DBGFLAG} ${INCLUDE} '-DCADROOT="${CADROOT}"' + VERSION = "-DCUR_DATE=\"`date | awk '{print $$2, $$3, $$6}'`\"" \ + "-DCUR_TIME=\"`date | awk '{print $$4}'`\"" + LINTFLAGS= ${INCLUDE} '-DCADROOT="${CADROOT}"'${LINTEXTRAS} diff -urN /usr/ports/cad/sis/patches/patch-aj cad/sis/patches/patch-aj --- /usr/ports/cad/sis/patches/patch-aj Thu Jan 1 09:00:00 1970 +++ cad/sis/patches/patch-aj Fri Aug 4 00:09:52 2000 @@ -0,0 +1,39 @@ +--- nova/Makefile.orig Fri May 15 00:41:12 1992 ++++ nova/Makefile Fri Aug 4 00:09:39 2000 +@@ -48,22 +48,22 @@ + # for HPUX + SHELL = /bin/sh + +-MAKE = /bin/make ++#MAKE = /bin/make + AR = ar + RANLIB = ranlib +-CPLUSPLUS = g++ ++CPLUSPLUS = ${CXX} + + CAD = /projects/octtools/octtools/${MACHINE} + OCTTOOLS= ${CAD} + CADROOT = $$OCTTOOLS + UTILS = ${OCTTOOLS}/utils +-XINCLOC = -I/usr/local/X11R4/include +-XLIBLOC = -L/usr/local/X11R4/lib ++XINCLOC = -I${X11BASE}/include ++XLIBLOC = -L${X11BASE}/lib + + LINTCREATEFLAG = -C + LINTEXTRAS = + DBGFLAG = +-OPTFLAG = ++#OPTFLAG = + + # an alternative if you want links in the installation locations + # back to the source directories would be: +@@ -138,7 +138,7 @@ + "VPATH=${VPATH}" + + INCLUDE = ${XINCLOC} -I${OCTTOOLS}/include +-CFLAGS = ${OPTFLAG} ${DBGFLAG} ${INCLUDE} '-DCADROOT="$$OCTTOOLS"' ++CFLAGS += ${OPTFLAG} ${DBGFLAG} ${INCLUDE} '-DCADROOT="$$OCTTOOLS"' + VERSION = "-DCUR_DATE=\"`date | awk '{print $$2, $$3, $$6}'`\"" \ + "-DCUR_TIME=\"`date | awk '{print $$4}'`\"" + LINTFLAGS= ${INCLUDE} '-DCADROOT="${CADROOT}"' ${LINTEXTRAS} diff -urN /usr/ports/cad/sis/patches/patch-ak cad/sis/patches/patch-ak --- /usr/ports/cad/sis/patches/patch-ak Thu Jan 1 09:00:00 1970 +++ cad/sis/patches/patch-ak Thu Aug 3 22:58:48 2000 @@ -0,0 +1,52 @@ +--- nova/exact_backtrack.c.orig Fri May 15 00:41:14 1992 ++++ nova/exact_backtrack.c Thu Aug 3 22:34:01 2000 +@@ -9,6 +9,10 @@ + */ + #include "nova.h" + ++#ifdef __FreeBSD__ ++extern char *a_inter_b(char *a, char *b, int constr_card, int dim); ++#endif ++ + /****************************************************************************** + * Upper level backtracking * + ******************************************************************************/ +@@ -836,7 +840,11 @@ + SONS_LINK *son_scanner; + CONSTRAINT_E *scanner,*constrptr,*inter_ptr,*exist_son(); + char *new_code,*inter_code,*gen_newcode_cat1(),*gen_newcode_cat2(), +- *gen_newcode_cat3(),*a_inter_b(); ++ *gen_newcode_cat3() ++#ifndef __FreeBSD__ ++ ,*a_inter_b() ++#endif ++ ; + int level; + BOOLEAN ok_to_code; + +@@ -1161,7 +1169,11 @@ + { + + FATHERS_LINK *father_scanner; +- char *ft_inter,*a_inter_b(),*prov_ptr; ++ char *ft_inter, ++#ifndef __FreeBSD__ ++ *a_inter_b(), ++#endif ++ *prov_ptr; + BOOLEAN flag; + int i; + +@@ -1340,7 +1352,11 @@ + { + + CONSTRAINT_E *constrptr; +- char *inter_code,*inter_constr,*a_inter_b(),*c1_inter_c2(); ++ char *inter_code,*inter_constr, ++#ifndef __FreeBSD_ ++ *a_inter_b(), ++#endif ++ *c1_inter_c2(); + int i,state_pos1,state_pos2; + + for (i = graph_depth-1; i >= 0; i--) { diff -urN /usr/ports/cad/sis/patches/patch-al cad/sis/patches/patch-al --- /usr/ports/cad/sis/patches/patch-al Thu Jan 1 09:00:00 1970 +++ cad/sis/patches/patch-al Fri Aug 4 00:10:54 2000 @@ -0,0 +1,33 @@ +--- options/Makefile.orig Sat Jul 16 07:53:39 1994 ++++ options/Makefile Fri Aug 4 00:10:41 2000 +@@ -67,10 +67,10 @@ + # for HPUX + SHELL = /bin/sh + +-MAKE = /bin/make ++#MAKE = /bin/make + AR = ar + RANLIB = ranlib +-CPLUSPLUS = g++ ++CPLUSPLUS = ${CXX} + + CAD = /projects/octtools/octtools/${MACHINE} + CADROOT = $$OCTTOOLS +@@ -79,7 +79,7 @@ + LINTCREATEFLAG = -C + LINTEXTRAS = + DBGFLAG = +-OPTFLAG = ++#OPTFLAG = + + # an alternative if you want links in the installation locations + # back to the source directories would be: +@@ -158,7 +158,7 @@ + "VPATH=${VPATH}" + + INCLUDE = -I$(CAD)/include +-CFLAGS = ${OPTFLAG} ${DBGFLAG} ${INCLUDE} '-DCADROOT="${CADROOT}"' ++CFLAGS += ${OPTFLAG} ${DBGFLAG} ${INCLUDE} '-DCADROOT="${CADROOT}"' + VERSION = "-DCUR_DATE=\"`date | awk '{print $$2, $$3, $$6}'`\"" \ + "-DCUR_TIME=\"`date | awk '{print $$4}'`\"" + LINTFLAGS= ${INCLUDE} '-DCADROOT="${CADROOT}"' ${LINTEXTRAS} diff -urN /usr/ports/cad/sis/patches/patch-am cad/sis/patches/patch-am --- /usr/ports/cad/sis/patches/patch-am Thu Jan 1 09:00:00 1970 +++ cad/sis/patches/patch-am Thu Aug 3 22:58:48 2000 @@ -0,0 +1,11 @@ +--- port/port.h.orig Sat Apr 23 11:02:33 1994 ++++ port/port.h Thu Aug 3 22:34:01 2000 +@@ -110,7 +110,7 @@ + #define LACK_SYS5 + #endif + +-#if defined(ultrix3) || defined(sunos4) || defined(_IBMR2) || defined(ultrix4) || defined(__osf__) ++#if defined(ultrix3) || defined(sunos4) || defined(_IBMR2) || defined(ultrix4) || defined(__osf__) || defined(__FreeBSD__) + #define SIGNAL_FN void + #else + /* sequent, ultrix2, 4.3BSD (vax, hp), sunos3 */ diff -urN /usr/ports/cad/sis/patches/patch-an cad/sis/patches/patch-an --- /usr/ports/cad/sis/patches/patch-an Thu Jan 1 09:00:00 1970 +++ cad/sis/patches/patch-an Thu Aug 3 23:20:41 2000 @@ -0,0 +1,74 @@ +--- sis/Makefile.orig Sat Jul 16 08:02:00 1994 ++++ sis/Makefile Thu Aug 3 23:20:29 2000 +@@ -13,7 +13,7 @@ + UNPACK = unpack + COPY = . + SHELL = /bin/sh +-MAKE = /bin/make ++MAKE = make + REQUIRE = oh oct utility st errtrap mm port + LINTCREATEFLAG = -C + LINTEXTRAS = -DOCT -DUSE_MM -DSIS +@@ -60,8 +60,8 @@ + $(CAD)/lib/libpq-g.a \ + $(CAD)/lib/libda-g.a + +-CC = cc +-CFLAGS = -DOCT -DUSE_MM -DSIS ++CC ?= cc ++CFLAGS += -DOCT -DUSE_MM -DSIS + CFLAGSG = -g -DOCT -DUSE_MM -DSIS + LDFLAGS = -lm + +@@ -92,21 +92,21 @@ + @for dir in $(DIRS); do \ + (cd $$dir; \ + echo Making $$dir ...; \ +- ${MAKE} CC=$(CC) 'CFLAGS=$(CFLAGS) $$(INCLUDE)' SIS=$(SIS) CADROOT=$(CADROOT) CAD=$(CAD) lib$$dir.a)\ ++ ${MAKE} CC=$(CC) 'CFLAGS=$(CFLAGS) $$(INCLUDE)' SIS=$(SIS) CADROOT=$(CADROOT) CAD=$(CAD) LIBDIR=$(LIBDIR) lib$$dir.a)\ + done + + do_makeg: + @for dir in $(DIRS); do \ + (cd $$dir; \ + echo Making $$dir ...; \ +- ${MAKE} CC=$(CC) 'CFLAGS=$(CFLAGSG) $$(INCLUDE)' SIS=$(SIS) CADROOT=$(CADROOT) CAD=$(CAD) lib$$dir.a)\ ++ ${MAKE} CC=$(CC) 'CFLAGS=$(CFLAGSG) $$(INCLUDE)' SIS=$(SIS) CADROOT=$(CADROOT) CAD=$(CAD) LIBDIR=$(LIBDIR) lib$$dir.a)\ + done + + do_lintlib: + @-for dir in $(DIRS); do \ + (cd $$dir; \ + echo Linting $$dir ...; \ +- ${MAKE} SIS=$(SIS) LINTCREATEFLAG=${LINTCREATEFLAG} LINTEXTRAS=${LINTEXTRAS} CADROOT=$(CADROOT) CAD=$(CAD) llib-l$$dir.ln); \ ++ ${MAKE} SIS=$(SIS) LINTCREATEFLAG=${LINTCREATEFLAG} LINTEXTRAS=${LINTEXTRAS} CADROOT=$(CADROOT) CAD=$(CAD) LIBDIR=$(LIBDIR) llib-l$$dir.ln); \ + done + + do_repack: +@@ -142,7 +142,7 @@ + @for dir in $(DIRS); do \ + (cd $$dir; \ + echo Cleaning $$dir ...; \ +- ${MAKE} -i CAD=$(CAD) SIS=$(SIS) strip_depend >/dev/null \ ++ ${MAKE} -i CAD=$(CAD) SIS=$(SIS) strip_depend >/dev/null; \ + ${MAKE} -i CAD=$(CAD) SIS=$(SIS) clean >/dev/null) \ + done + +@@ -201,7 +201,7 @@ + @for dir in $(DIRS); do \ + (cd $$dir; \ + echo; echo "lint $$dir ..."; \ +- ${MAKE} SIS=$(SIS) 'CFLAGS=$(CFLAGSG) $$(INCLUDE)' LINTCREATEFLAG=${LINTCREATEFLAG} LINTEXTRAS=${LINTEXTRAS} CADROOT=${CADROOT} CAD=$(CAD) lint) \ ++ ${MAKE} SIS=$(SIS) 'CFLAGS=$(CFLAGSG) $$(INCLUDE)' LINTCREATEFLAG=${LINTCREATEFLAG} LINTEXTRAS=${LINTEXTRAS} CADROOT=${CADROOT} CAD=$(CAD) LIBDIR=$(LIBDIR) lint) \ + done + + wc: +@@ -221,7 +221,7 @@ + (cd $$dir; \ + sleep 1; \ + echo $$dir; \ +- ${MAKE} CAD=$(CAD) tags) \ ++ ${MAKE} CAD=$(CAD) \ + done + sort -o tags tags + diff -urN /usr/ports/cad/sis/patches/patch-ao cad/sis/patches/patch-ao --- /usr/ports/cad/sis/patches/patch-ao Thu Jan 1 09:00:00 1970 +++ cad/sis/patches/patch-ao Fri Aug 4 00:17:06 2000 @@ -0,0 +1,22 @@ +--- sis/Makefile.nooct.orig Sat Jul 16 07:56:21 1994 ++++ sis/Makefile.nooct Fri Aug 4 00:16:52 2000 +@@ -13,7 +13,7 @@ + UNPACK = unpack + COPY = . + SHELL = /bin/sh +-MAKE = /bin/make ++#MAKE = /bin/make + REQUIRE = oh oct utility st errtrap mm port + LINTCREATEFLAG = -C + LINTEXTRAS = -DOCT -DUSE_MM -DSIS +@@ -40,8 +40,8 @@ + + LIBSG = + +-CC = cc +-CFLAGS = -DSIS ++#CC = cc ++CFLAGS += -DSIS + CFLAGSG = -g -DSIS + LDFLAGS = -lm + diff -urN /usr/ports/cad/sis/patches/patch-ap cad/sis/patches/patch-ap --- /usr/ports/cad/sis/patches/patch-ap Thu Jan 1 09:00:00 1970 +++ cad/sis/patches/patch-ap Thu Aug 3 22:58:48 2000 @@ -0,0 +1,11 @@ +--- sis/astg/bwd_com.c.orig Sat Jul 16 07:56:43 1994 ++++ sis/astg/bwd_com.c Thu Aug 3 22:34:02 2000 +@@ -1207,7 +1207,7 @@ + ns = stg_get_num_states (stg); + fprintf (siserr, "give the codes in the form state_name binary_code\n"); + for (i = 0; i < ns; i++) { +- gets (buf1); ++ fgets (buf1, sizeof(buf1), stdin); + do { + sscanf (buf1, "%s %s", buf2, buf3); + state = stg_get_state_by_name (stg, buf2); diff -urN /usr/ports/cad/sis/patches/patch-aq cad/sis/patches/patch-aq --- /usr/ports/cad/sis/patches/patch-aq Thu Jan 1 09:00:00 1970 +++ cad/sis/patches/patch-aq Fri Aug 4 00:44:53 2000 @@ -0,0 +1,29 @@ +--- sis/bdd_cmu/Make_lib.include.orig Tue Jan 18 07:04:19 1994 ++++ sis/bdd_cmu/Make_lib.include Fri Aug 4 00:44:33 2000 +@@ -6,7 +6,7 @@ + DBGFLAG = # empty now, but assign -g for debugging + OPTFLAG = # empty now, but assign -O for optimization + PACKFL = # flags peculiar to individual packages, empty now, to be assigned in the package's makefile. +-CFLAGS = $(OPTFLAG) $(DBGFLAG) $(PACKFL) $(INCLUDE) ++CFLAGS += $(OPTFLAG) $(DBGFLAG) $(PACKFL) $(INCLUDE) + + # object files + OBJ = $(SRC:.c=.o) +@@ -20,7 +20,7 @@ + # present, they were compiled with -g. This assumption is maintained by + # removing the .o files before and after the other library builds. + $(LIBG): $(SRC) $(HDR) +- $(MAKE) $(MFLAGS) MAKE=$(MAKE) CURRENT=$(CURRENT) CC=$(CC) DBGFLAG=-g make_libg ++ $(MAKE) $(MFLAGS) MAKE=$(MAKE) CURRENT=$(CURRENT) CC=$(CC) DBGFLAG=$(DBGFLAG) make_libg + chmod 0775 $(LIBG) $(OBJ) + + lib: +@@ -33,7 +33,7 @@ + # optimized libary + $(LIB): $(SRC) $(HDR) + rm -f $(OBJ) +- $(MAKE) $(MFLAGS) MAKE=$(MAKE) CURRENT=$(CURRENT) CC=$(CC) OPTFLAG=-O make_lib ++ $(MAKE) $(MFLAGS) MAKE=$(MAKE) CURRENT=$(CURRENT) CC=$(CC) OPTFLAG=$(OPTFLAG) make_lib + # rm -f $(OBJ) + # chmod 0775 $(LIB) + diff -urN /usr/ports/cad/sis/patches/patch-ar cad/sis/patches/patch-ar --- /usr/ports/cad/sis/patches/patch-ar Thu Jan 1 09:00:00 1970 +++ cad/sis/patches/patch-ar Fri Aug 4 00:42:11 2000 @@ -0,0 +1,11 @@ +--- sis/mincov/Makefile.orig Sat Jul 16 07:48:38 1994 ++++ sis/mincov/Makefile Fri Aug 4 00:41:55 2000 +@@ -34,7 +34,7 @@ + LINTLIBS= ../sparse/llib-lsparse.ln \ + ../util/llib-lutil.ln + +-CFLAGS = -O $(INCLUDE) ++CFLAGS += $(INCLUDE) + LDFLAGS = + LINTFLAGS = $(INCLUDE) ${LINTEXTRAS} + diff -urN /usr/ports/cad/sis/patches/patch-as cad/sis/patches/patch-as --- /usr/ports/cad/sis/patches/patch-as Thu Jan 1 09:00:00 1970 +++ cad/sis/patches/patch-as Thu Aug 3 22:58:48 2000 @@ -0,0 +1,11 @@ +--- sis/main/Makefile.orig Sat Jul 16 07:48:37 1994 ++++ sis/main/Makefile Thu Aug 3 22:34:02 2000 +@@ -61,7 +61,7 @@ + + version.o: version.c + $(CC) $(CFLAGS) -c "-DCUR_DATE=\"`date`\"" \ +- "-DLIBRARY=\"$(SIS)/sis_lib\"" version.c ++ "-DLIBRARY=\"$(LIBDIR)/sis_lib\"" version.c + + #---------------------------------------------------------------------- + diff -urN /usr/ports/cad/sis/patches/patch-at cad/sis/patches/patch-at --- /usr/ports/cad/sis/patches/patch-at Thu Jan 1 09:00:00 1970 +++ cad/sis/patches/patch-at Thu Aug 3 22:58:48 2000 @@ -0,0 +1,11 @@ +--- sis/util/pipefork.c.orig Fri Sep 10 02:24:32 1993 ++++ sis/util/pipefork.c Thu Aug 3 22:34:02 2000 +@@ -38,7 +38,7 @@ + int forkpid, waitpid; + int topipe[2], frompipe[2]; + char buffer[1024]; +-#if (defined hpux) || (defined __osf__) || (defined _IBMR2) ++#if (defined hpux) || (defined __osf__) || (defined _IBMR2) || (defined __FreeBSD__) + int status; + #else + union wait status; diff -urN /usr/ports/cad/sis/patches/patch-au cad/sis/patches/patch-au --- /usr/ports/cad/sis/patches/patch-au Thu Jan 1 09:00:00 1970 +++ cad/sis/patches/patch-au Fri Aug 4 00:12:38 2000 @@ -0,0 +1,40 @@ +--- sred/Makefile.orig Sat Mar 12 01:58:41 1994 ++++ sred/Makefile Fri Aug 4 00:12:25 2000 +@@ -17,23 +17,23 @@ + # for HPUX + SHELL = /bin/sh + +-MAKE = /bin/make ++#MAKE = /bin/make + AR = ar + RANLIB = ranlib +-CPLUSPLUS = g++ ++CPLUSPLUS = ${CXX} + + OCTTOOLS = /projects/octtools/octtools/$(MACHINE) + # SIS = /projects/classes/sis/$(MACHINE) + SIS = /usr/eesww/sis + UTILS = ${OCTTOOLS}/utils +-XINCLOC = -I/usr/local/X11R4/include +-XLIBLOC = -L/usr/local/X11R4/lib ++XINCLOC = -I${X11BASE}/include ++XLIBLOC = -L${X11BASE}/lib + + LINTCREATEFLAG = -C + LINTEXTRAS = + LDEXTRAS = + DBGFLAG = +-OPTFLAG = -O ++#OPTFLAG = -O + + # an alternative if you want links in the installation locations + # back to the source directories would be: +@@ -108,7 +108,7 @@ + "VPATH=${VPATH}" + + INCLUDE = ${XINCLOC} -I${SIS}/include +-CFLAGS = ${OPTFLAG} ${DBGFLAG} ${INCLUDE} ++CFLAGS += ${OPTFLAG} ${DBGFLAG} ${INCLUDE} + YFLAGS = -d + VERSION = "-DCUR_DATE=\"`date | awk '{print $$2, $$3, $$6}'`\"" \ + "-DCUR_TIME=\"`date | awk '{print $$4}'`\"" diff -urN /usr/ports/cad/sis/patches/patch-av cad/sis/patches/patch-av --- /usr/ports/cad/sis/patches/patch-av Thu Jan 1 09:00:00 1970 +++ cad/sis/patches/patch-av Fri Aug 4 03:29:04 2000 @@ -0,0 +1,20 @@ +--- stamina/mimi/Makefile.orgi Sat Jul 16 07:58:51 1994 ++++ stamina/mimi/Makefile Fri Aug 4 00:45:55 2000 +@@ -28,7 +28,7 @@ + + INCLUDE=-I../hash -I$(SIS)/mincov -I$(SIS)/sparse -I$(SIS)/util + +-CFLAG= -c -O ++CFLAGS+= $(INCLUDE) + + install: stamina + cp stamina $(INSDIR) +@@ -37,7 +37,7 @@ + $(CC) -o stamina $(OBJ) $(LIB) $(SISLIBS) + + .c.o: +- $(CC) $(CFLAG) $(INCLUDE) $*.c ++ $(CC) $(CFLAGS) -c $*.c + + main.o: struct.h user.h + install_state.o: diff -urN /usr/ports/cad/sis/patches/patch-aw cad/sis/patches/patch-aw --- /usr/ports/cad/sis/patches/patch-aw Thu Jan 1 09:00:00 1970 +++ cad/sis/patches/patch-aw Thu Aug 3 22:58:48 2000 @@ -0,0 +1,13 @@ +--- stamina/mimi/main.c.orig Sat Jul 16 07:58:55 1994 ++++ stamina/mimi/main.c Thu Aug 3 22:34:02 2000 +@@ -23,6 +23,10 @@ + struct u user; + long t_start; + ++#ifdef __FreeBSD__ ++static usage(char *prog); ++#endif ++ + main(argc,argv) + char **argv; + { diff -urN /usr/ports/cad/sis/patches/patch-ax cad/sis/patches/patch-ax --- /usr/ports/cad/sis/patches/patch-ax Thu Jan 1 09:00:00 1970 +++ cad/sis/patches/patch-ax Thu Aug 3 22:58:48 2000 @@ -0,0 +1,25 @@ +--- stamina/mimi/stack.c.orig Sat Jul 16 07:58:59 1994 ++++ stamina/mimi/stack.c Thu Aug 3 22:34:02 2000 +@@ -20,6 +20,10 @@ + static int **top_of_stack; + static int **stack_ptr; + ++#ifdef __FreeBSD__ ++static _push(int *operand); ++#endif ++ + /* Emulation of the stack operation */ + /* This routine guarantees compact use of memory */ + /* But is must pay for it in terms of time */ +@@ -85,9 +89,9 @@ + (void) printf("Push %s %s \n",states[state1]->state_name,states[state2]->state_name); + #endif + if (state2 > state1) +- _push(&xstack[(num_st-state1-2)*(num_st-state1-1)/2-state2+num_st-1]); ++ _push((int *)&xstack[(num_st-state1-2)*(num_st-state1-1)/2-state2+num_st-1]); + else +- _push(&xstack[(num_st-state2-2)*(num_st-state2-1)/2-state1+num_st-1]); ++ _push((int *)&xstack[(num_st-state2-2)*(num_st-state2-1)/2-state1+num_st-1]); + } + + static diff -urN /usr/ports/cad/sis/patches/patch-ay cad/sis/patches/patch-ay --- /usr/ports/cad/sis/patches/patch-ay Thu Jan 1 09:00:00 1970 +++ cad/sis/patches/patch-ay Fri Aug 4 00:11:38 2000 @@ -0,0 +1,33 @@ +--- utility/Makefile.orig Sat Jul 16 07:55:23 1994 ++++ utility/Makefile Fri Aug 4 00:11:22 2000 +@@ -67,10 +67,10 @@ + # for HPUX + SHELL = /bin/sh + +-MAKE = /bin/make ++#MAKE = /bin/make + AR = ar + RANLIB = ranlib +-CPLUSPLUS = g++ ++CPLUSPLUS = ${CXX} + + OCTTOOLS=/projects/octtools/octtools/${MACHINE} + CADROOT = $$OCTTOOLS +@@ -79,7 +79,7 @@ + LINTCREATEFLAG = -C + LINTEXTRAS = + DBGFLAG = +-OPTFLAG = ++#OPTFLAG = + + # an alternative if you want links in the installation locations + # back to the source directories would be: +@@ -158,7 +158,7 @@ + "VPATH=${VPATH}" + + INCLUDE = -I$(CAD)/include +-CFLAGS = ${OPTFLAG} ${DBGFLAG} ${INCLUDE} '-DCADROOT="${CADROOT}"' ++CFLAGS += ${OPTFLAG} ${DBGFLAG} ${INCLUDE} '-DCADROOT="${CADROOT}"' + VERSION = "-DCUR_DATE=\"`date | awk '{print $$2, $$3, $$6}'`\"" \ + "-DCUR_TIME=\"`date | awk '{print $$4}'`\"" + LINTFLAGS= ${INCLUDE} '-DCADROOT="${CADROOT}"' ${LINTEXTRAS} diff -urN /usr/ports/cad/sis/patches/patch-az cad/sis/patches/patch-az --- /usr/ports/cad/sis/patches/patch-az Thu Jan 1 09:00:00 1970 +++ cad/sis/patches/patch-az Thu Aug 3 22:58:49 2000 @@ -0,0 +1,25 @@ +--- utility/csystem.c.orig Sat Oct 24 09:31:44 1992 ++++ utility/csystem.c Thu Aug 3 22:34:03 2000 +@@ -17,8 +17,12 @@ + util_csystem(s) + char *s; + { ++#ifdef __FreeBSD__ ++ sig_t istat, qstat; ++#else + register SIGNAL_FN (*istat)(), (*qstat)(); +-#if defined(_IBMR2) || defined(__osf__) ++#endif ++#if defined(_IBMR2) || defined(__osf__) || defined(__FreeBSD__) + int status; + #else + union wait status; +@@ -39,7 +43,7 @@ + if (w == -1) { /* check for no children ?? */ + retval = -1; + } else { +-#if defined(_IBMR2) || defined(__osf__) ++#if defined(_IBMR2) || defined(__osf__) || defined(__FreeBSD__) + retval = status; + #else + retval = status.w_status; diff -urN /usr/ports/cad/sis/patches/patch-ba cad/sis/patches/patch-ba --- /usr/ports/cad/sis/patches/patch-ba Thu Jan 1 09:00:00 1970 +++ cad/sis/patches/patch-ba Thu Aug 3 22:58:49 2000 @@ -0,0 +1,11 @@ +--- utility/pipefork.c.orig Sat Apr 23 11:05:01 1994 ++++ utility/pipefork.c Thu Aug 3 22:34:03 2000 +@@ -37,7 +37,7 @@ + int forkpid, waitpid; + int topipe[2], frompipe[2]; + char buffer[1024]; +-#if defined(__hpux) || defined (__osf__) ++#if defined(__hpux) || defined (__osf__) || defined(__FreeBSD__) + int status; + #else + union wait status; diff -urN /usr/ports/cad/sis/patches/patch-bb cad/sis/patches/patch-bb --- /usr/ports/cad/sis/patches/patch-bb Thu Jan 1 09:00:00 1970 +++ cad/sis/patches/patch-bb Fri Aug 4 00:13:26 2000 @@ -0,0 +1,39 @@ +--- vst2blif/Makefile.orig Fri Jul 15 08:45:02 1994 ++++ vst2blif/Makefile Fri Aug 4 00:13:06 2000 +@@ -15,22 +15,22 @@ + # for HPUX + SHELL = /bin/sh + +-MAKE = /bin/make ++#MAKE = /bin/make + AR = ar + RANLIB = ranlib +-CPLUSPLUS = g++ ++CPLUSPLUS = ${CXX} + + OCTTOOLS = /projects/octtools/octtools/$(MACHINE) + SIS = /usr/eesww/sis + UTILS = ${OCTTOOLS}/utils +-XINCLOC = -I/usr/local/X11R4/include +-XLIBLOC = -L/usr/local/X11R4/lib ++XINCLOC = -I${X11BASE}/include ++XLIBLOC = -L${X11BASE}/lib + + LINTCREATEFLAG = -C + LINTEXTRAS = + LDEXTRAS = + DBGFLAG = +-OPTFLAG = -O ++#OPTFLAG = -O + + # an alternative if you want links in the installation locations + # back to the source directories would be: +@@ -104,7 +104,7 @@ + "VPATH=${VPATH}" + + INCLUDE = +-CFLAGS = ${OPTFLAG} ${DBGFLAG} ${INCLUDE} ++CFLAGS += ${OPTFLAG} ${DBGFLAG} ${INCLUDE} + YFLAGS = -d + VERSION = "-DCUR_DATE=\"`date | awk '{print $$2, $$3, $$6}'`\"" \ + "-DCUR_TIME=\"`date | awk '{print $$4}'`\"" diff -urN /usr/ports/cad/sis/patches/patch-bc cad/sis/patches/patch-bc --- /usr/ports/cad/sis/patches/patch-bc Thu Jan 1 09:00:00 1970 +++ cad/sis/patches/patch-bc Thu Aug 3 22:58:49 2000 @@ -0,0 +1,26 @@ +--- xsis/main.c.orig Sat Jul 16 07:55:57 1994 ++++ xsis/main.c Thu Aug 3 22:34:03 2000 +@@ -242,7 +242,11 @@ + xsis_world.child_status = XSIS_IDLE; + xsis_tty_block (xsis_world.sis_pty,0); + if (xsis_world.debug) printf("Starting %s, PID %d.\n",sis_exec,pid); ++#if defined(SIGCLD) + signal (SIGCLD,catch_sigcld); ++#else ++ signal (SIGCHLD,catch_sigcld); ++#endif + xsis_main (argc,argv); + close (master); + } +@@ -253,7 +257,11 @@ + return (-1); + } else { + terminfo.c_oflag &= ~ONLCR; /* Don't map NL on output. */ ++#if defined(TAB3) + terminfo.c_oflag &= ~TAB3; /* Don't expand tabs on output. */ ++#else ++ terminfo.c_oflag &= ~OXTABS; ++#endif + terminfo.c_lflag |= ECHO; /* Echo all input. */ + terminfo.c_lflag |= ICANON; /* Use canonical input. */ + if (tcsetattr (slave, TCSADRAIN, &terminfo) != 0) { diff -urN /usr/ports/cad/sis/patches/patch-bd cad/sis/patches/patch-bd --- /usr/ports/cad/sis/patches/patch-bd Thu Jan 1 09:00:00 1970 +++ cad/sis/patches/patch-bd Thu Aug 3 22:58:49 2000 @@ -0,0 +1,12 @@ +--- xsis/xutil.c.orig Sat Jul 16 07:56:03 1994 ++++ xsis/xutil.c Thu Aug 3 22:34:03 2000 +@@ -49,7 +49,9 @@ + /* Similar to perror but print errno value also for debugging. */ + + extern int sys_nerr; ++#if !defined(__FreeBSD__) + extern char *sys_errlist[]; ++#endif + + if (errno >= 0 && errno < sys_nerr) { + fprintf(stderr,"%s: %s (errno=%d)\n",s,sys_errlist[errno],errno); diff -urN /usr/ports/cad/sis/pkg/PLIST cad/sis/pkg/PLIST --- /usr/ports/cad/sis/pkg/PLIST Fri Aug 14 06:16:00 1998 +++ cad/sis/pkg/PLIST Fri Aug 4 02:55:54 2000 @@ -1,358 +1,358 @@ -bin/sis +bin/blif2vst +bin/espresso bin/jedi +bin/nova +bin/sis bin/sred bin/stamina -bin/nova -bin/espresso bin/vst2blif -bin/blif2vst bin/xsis -lib/sis/sis_lib/help/print.1.orig -lib/sis/sis_lib/help/sis.1 -lib/sis/sis_lib/help/alias.1 +lib/sis/RELEASE-NOTES-1.2 +lib/sis/SIS_paper.ps.gz +lib/sis/sis_lib/.misrc +lib/sis/sis_lib/.saberinit +lib/sis/sis_lib/.sisrc +lib/sis/sis_lib/22-1.genlib +lib/sis/sis_lib/22-2.genlib +lib/sis/sis_lib/33-1.genlib +lib/sis/sis_lib/33-2.genlib +lib/sis/sis_lib/33-4.genlib +lib/sis/sis_lib/43-5.genlib +lib/sis/sis_lib/44-1.genlib +lib/sis/sis_lib/44-2.genlib +lib/sis/sis_lib/44-3.genlib +lib/sis/sis_lib/44-6.genlib +lib/sis/sis_lib/asynch.genlib +lib/sis/sis_lib/const.genlib +lib/sis/sis_lib/example.genlib +lib/sis/sis_lib/help/.except lib/sis/sis_lib/help/Makefile lib/sis/sis_lib/help/_astg_cycle.1 -lib/sis/sis_lib/help/format -lib/sis/sis_lib/help/add_inverter.1 -lib/sis/sis_lib/help/astg_contract.1 -lib/sis/sis_lib/help/astg_current.1 -lib/sis/sis_lib/help/_astg_flow.1 -lib/sis/sis_lib/help/_astg_irred.1 -lib/sis/sis_lib/help/_astg_mgc.1 -lib/sis/sis_lib/help/astg_marking.1 -lib/sis/sis_lib/help/trail -lib/sis/sis_lib/help/_astg_smc.1 -lib/sis/sis_lib/help/astg_print_sg.1 -lib/sis/sis_lib/help/astg_syn.1 -lib/sis/sis_lib/help/astg_persist.1 -lib/sis/sis_lib/help/astg_slow.1 -lib/sis/sis_lib/help/act_map.fmt -lib/sis/sis_lib/help/astg_to_f.1 -lib/sis/sis_lib/help/astg_to_stg.1 -lib/sis/sis_lib/help/atpg.1 -lib/sis/sis_lib/help/bdsyn.1 -lib/sis/sis_lib/help/buffer_opt.1 -lib/sis/sis_lib/help/chng_clock.1 -lib/sis/sis_lib/help/chng_name.1 -lib/sis/sis_lib/help/collapse.1 -lib/sis/sis_lib/help/constraints.1 -lib/sis/sis_lib/help/decomp.1 -lib/sis/sis_lib/help/echo.1 -lib/sis/sis_lib/help/eliminate.1 -lib/sis/sis_lib/help/espresso.1 -lib/sis/sis_lib/help/extract_seq_dc.1 -lib/sis/sis_lib/help/factor.1 -lib/sis/sis_lib/help/fanout_alg.1 -lib/sis/sis_lib/help/fanout_param.1 -lib/sis/sis_lib/help/full_simplify.1 -lib/sis/sis_lib/help/fx.1 -lib/sis/sis_lib/help/gcx.1 -lib/sis/sis_lib/help/gkx.1 -lib/sis/sis_lib/help/help.1 -lib/sis/sis_lib/help/invert.1 -lib/sis/sis_lib/help/map.1 -lib/sis/sis_lib/help/.except -lib/sis/sis_lib/help/write_pds.1 -lib/sis/sis_lib/help/one_hot.1 -lib/sis/sis_lib/help/phase.1 -lib/sis/sis_lib/help/fx.fmt -lib/sis/sis_lib/help/plot_blif.1 -lib/sis/sis_lib/help/print.1 -lib/sis/sis_lib/help/print_altname.1 -lib/sis/sis_lib/help/print_clock.1 -lib/sis/sis_lib/help/print_delay.1 -lib/sis/sis_lib/help/print_factor.1 -lib/sis/sis_lib/help/print_gate.1 -lib/sis/sis_lib/help/header.me -lib/sis/sis_lib/help/print_io.1 -lib/sis/sis_lib/help/print_kernel.1 -lib/sis/sis_lib/help/print_latch.1 -lib/sis/sis_lib/help/print_level.1 -lib/sis/sis_lib/help/print_library.1 -lib/sis/sis_lib/help/print_map_stats.1 -lib/sis/sis_lib/help/print_state.1 -lib/sis/sis_lib/help/print_stats.1 -lib/sis/sis_lib/help/print_value.1 -lib/sis/sis_lib/help/quit.1 -lib/sis/sis_lib/help/read_astg.1 -lib/sis/sis_lib/help/read_blif.1 -lib/sis/sis_lib/help/read_eqn.1 -lib/sis/sis_lib/help/read_kiss.1 lib/sis/sis_lib/help/_astg_cycle.fmt -lib/sis/sis_lib/help/read_library.1 -lib/sis/sis_lib/help/read_oct.1 -lib/sis/sis_lib/help/read_pla.1 -lib/sis/sis_lib/help/read_slif.1 -lib/sis/sis_lib/help/red_removal.1 -lib/sis/sis_lib/help/reduce_depth.1 -lib/sis/sis_lib/help/replace.1 -lib/sis/sis_lib/help/reset_name.1 -lib/sis/sis_lib/help/resub.1 -lib/sis/sis_lib/help/retime.1 -lib/sis/sis_lib/help/save.1 -lib/sis/sis_lib/help/set.1 -lib/sis/sis_lib/help/set_delay.1 -lib/sis/sis_lib/help/set_state.1 -lib/sis/sis_lib/help/sim_verify.1 -lib/sis/sis_lib/help/simplify.1 -lib/sis/sis_lib/help/sis.man -lib/sis/sis_lib/help/simulate.1 -lib/sis/sis_lib/help/gcx.fmt -lib/sis/sis_lib/help/source.1 -lib/sis/sis_lib/help/speed_up.1 -lib/sis/sis_lib/help/state_assign.1 -lib/sis/sis_lib/help/sweep.1 -lib/sis/sis_lib/help/astg_print_stat.1 -lib/sis/sis_lib/help/alias.fmt +lib/sis/sis_lib/help/_astg_flow.1 lib/sis/sis_lib/help/_astg_flow.fmt +lib/sis/sis_lib/help/_astg_hfrpdft.1 +lib/sis/sis_lib/help/_astg_hfrpdft.fmt +lib/sis/sis_lib/help/_astg_irred.1 lib/sis/sis_lib/help/_astg_irred.fmt +lib/sis/sis_lib/help/_astg_mgc.1 lib/sis/sis_lib/help/_astg_mgc.fmt +lib/sis/sis_lib/help/_astg_smc.1 lib/sis/sis_lib/help/_astg_smc.fmt +lib/sis/sis_lib/help/act_map.1 +lib/sis/sis_lib/help/act_map.fmt +lib/sis/sis_lib/help/add_inverter.1 lib/sis/sis_lib/help/add_inverter.fmt +lib/sis/sis_lib/help/alias.1 +lib/sis/sis_lib/help/alias.fmt +lib/sis/sis_lib/help/astg_add_state.1 +lib/sis/sis_lib/help/astg_add_state.fmt +lib/sis/sis_lib/help/astg_contract.1 lib/sis/sis_lib/help/astg_contract.fmt +lib/sis/sis_lib/help/astg_current.1 lib/sis/sis_lib/help/astg_current.fmt -lib/sis/sis_lib/help/gkx.fmt -lib/sis/sis_lib/help/state_minimize.1 +lib/sis/sis_lib/help/astg_cycle.fmt +lib/sis/sis_lib/help/astg_encode.1 +lib/sis/sis_lib/help/astg_encode.fmt +lib/sis/sis_lib/help/astg_flow.fmt +lib/sis/sis_lib/help/astg_hfrpdft.fmt +lib/sis/sis_lib/help/astg_irred.fmt +lib/sis/sis_lib/help/astg_lockgraph.1 lib/sis/sis_lib/help/astg_lockgraph.fmt +lib/sis/sis_lib/help/astg_marking.1 lib/sis/sis_lib/help/astg_marking.fmt +lib/sis/sis_lib/help/astg_mgc.fmt +lib/sis/sis_lib/help/astg_persist.1 +lib/sis/sis_lib/help/astg_persist.fmt +lib/sis/sis_lib/help/astg_print_sg.1 lib/sis/sis_lib/help/astg_print_sg.fmt +lib/sis/sis_lib/help/astg_print_stat.1 lib/sis/sis_lib/help/astg_print_stat.fmt +lib/sis/sis_lib/help/astg_slow.1 lib/sis/sis_lib/help/astg_slow.fmt +lib/sis/sis_lib/help/astg_smc.fmt +lib/sis/sis_lib/help/astg_state_min.1 +lib/sis/sis_lib/help/astg_state_min.fmt +lib/sis/sis_lib/help/astg_stg_scr.1 +lib/sis/sis_lib/help/astg_stg_scr.fmt +lib/sis/sis_lib/help/astg_syn.1 lib/sis/sis_lib/help/astg_syn.fmt +lib/sis/sis_lib/help/astg_to_f.1 lib/sis/sis_lib/help/astg_to_f.fmt +lib/sis/sis_lib/help/astg_to_stg.1 lib/sis/sis_lib/help/astg_to_stg.fmt +lib/sis/sis_lib/help/atpg.1 lib/sis/sis_lib/help/atpg.fmt +lib/sis/sis_lib/help/bdsyn.1 lib/sis/sis_lib/help/bdsyn.fmt +lib/sis/sis_lib/help/buffer_opt.1 lib/sis/sis_lib/help/buffer_opt.fmt -lib/sis/sis_lib/help/map.fmt +lib/sis/sis_lib/help/c_check.1 +lib/sis/sis_lib/help/c_check.fmt +lib/sis/sis_lib/help/c_opt.1 +lib/sis/sis_lib/help/c_opt.fmt +lib/sis/sis_lib/help/chng_clock.1 lib/sis/sis_lib/help/chng_clock.fmt +lib/sis/sis_lib/help/chng_name.1 lib/sis/sis_lib/help/chng_name.fmt +lib/sis/sis_lib/help/collapse.1 lib/sis/sis_lib/help/collapse.fmt +lib/sis/sis_lib/help/constraints.1 lib/sis/sis_lib/help/constraints.fmt +lib/sis/sis_lib/help/decomp.1 lib/sis/sis_lib/help/decomp.fmt +lib/sis/sis_lib/help/echo.1 lib/sis/sis_lib/help/echo.fmt +lib/sis/sis_lib/help/eliminate.1 lib/sis/sis_lib/help/eliminate.fmt +lib/sis/sis_lib/help/env_seq_dc.1 +lib/sis/sis_lib/help/env_seq_dc.fmt +lib/sis/sis_lib/help/env_verify_fsm.1 +lib/sis/sis_lib/help/env_verify_fsm.fmt +lib/sis/sis_lib/help/equiv_nets.1 +lib/sis/sis_lib/help/equiv_nets.fmt +lib/sis/sis_lib/help/espresso.1 lib/sis/sis_lib/help/espresso.fmt +lib/sis/sis_lib/help/extract_seq_dc.1 lib/sis/sis_lib/help/extract_seq_dc.fmt +lib/sis/sis_lib/help/factor.1 lib/sis/sis_lib/help/factor.fmt +lib/sis/sis_lib/help/fanout_alg.1 lib/sis/sis_lib/help/fanout_alg.fmt +lib/sis/sis_lib/help/fanout_param.1 lib/sis/sis_lib/help/fanout_param.fmt +lib/sis/sis_lib/help/force_init_0.1 +lib/sis/sis_lib/help/force_init_0.fmt +lib/sis/sis_lib/help/format +lib/sis/sis_lib/help/free_dc.1 +lib/sis/sis_lib/help/free_dc.fmt +lib/sis/sis_lib/help/full_simplify.1 lib/sis/sis_lib/help/full_simplify.fmt +lib/sis/sis_lib/help/fx.1 +lib/sis/sis_lib/help/fx.fmt +lib/sis/sis_lib/help/gcx.1 +lib/sis/sis_lib/help/gcx.fmt +lib/sis/sis_lib/help/gkx.1 +lib/sis/sis_lib/help/gkx.fmt +lib/sis/sis_lib/help/header.me +lib/sis/sis_lib/help/help.1 lib/sis/sis_lib/help/help.fmt +lib/sis/sis_lib/help/history.1 lib/sis/sis_lib/help/history.fmt +lib/sis/sis_lib/help/invert.1 lib/sis/sis_lib/help/invert.fmt -lib/sis/sis_lib/help/speedup_alg.1 +lib/sis/sis_lib/help/invert_io.1 +lib/sis/sis_lib/help/invert_io.fmt +lib/sis/sis_lib/help/ite_map.1 +lib/sis/sis_lib/help/ite_map.fmt +lib/sis/sis_lib/help/latch_output.1 +lib/sis/sis_lib/help/latch_output.fmt +lib/sis/sis_lib/help/make.awk +lib/sis/sis_lib/help/map.1 +lib/sis/sis_lib/help/map.fmt +lib/sis/sis_lib/help/one_hot.1 lib/sis/sis_lib/help/one_hot.fmt +lib/sis/sis_lib/help/phase.1 lib/sis/sis_lib/help/phase.fmt +lib/sis/sis_lib/help/plot_blif.1 lib/sis/sis_lib/help/plot_blif.fmt +lib/sis/sis_lib/help/power_estimate.1 +lib/sis/sis_lib/help/power_estimate.fmt +lib/sis/sis_lib/help/power_free_info.1 +lib/sis/sis_lib/help/power_free_info.fmt +lib/sis/sis_lib/help/power_print.1 +lib/sis/sis_lib/help/power_print.fmt +lib/sis/sis_lib/help/print.1 +lib/sis/sis_lib/help/print.1.orig lib/sis/sis_lib/help/print.fmt +lib/sis/sis_lib/help/print_altname.1 lib/sis/sis_lib/help/print_altname.fmt +lib/sis/sis_lib/help/print_clock.1 lib/sis/sis_lib/help/print_clock.fmt +lib/sis/sis_lib/help/print_delay.1 lib/sis/sis_lib/help/print_delay.fmt +lib/sis/sis_lib/help/print_factor.1 lib/sis/sis_lib/help/print_factor.fmt +lib/sis/sis_lib/help/print_gate.1 lib/sis/sis_lib/help/print_gate.fmt +lib/sis/sis_lib/help/print_io.1 lib/sis/sis_lib/help/print_io.fmt +lib/sis/sis_lib/help/print_kernel.1 lib/sis/sis_lib/help/print_kernel.fmt +lib/sis/sis_lib/help/print_latch.1 lib/sis/sis_lib/help/print_latch.fmt +lib/sis/sis_lib/help/print_level.1 lib/sis/sis_lib/help/print_level.fmt +lib/sis/sis_lib/help/print_library.1 lib/sis/sis_lib/help/print_library.fmt +lib/sis/sis_lib/help/print_map_stats.1 lib/sis/sis_lib/help/print_map_stats.fmt +lib/sis/sis_lib/help/print_state.1 lib/sis/sis_lib/help/print_state.fmt +lib/sis/sis_lib/help/print_stats.1 lib/sis/sis_lib/help/print_stats.fmt +lib/sis/sis_lib/help/print_value.1 lib/sis/sis_lib/help/print_value.fmt +lib/sis/sis_lib/help/quit.1 lib/sis/sis_lib/help/quit.fmt +lib/sis/sis_lib/help/read_astg.1 lib/sis/sis_lib/help/read_astg.fmt +lib/sis/sis_lib/help/read_blif.1 lib/sis/sis_lib/help/read_blif.fmt +lib/sis/sis_lib/help/read_eqn.1 lib/sis/sis_lib/help/read_eqn.fmt +lib/sis/sis_lib/help/read_kiss.1 lib/sis/sis_lib/help/read_kiss.fmt +lib/sis/sis_lib/help/read_library.1 lib/sis/sis_lib/help/read_library.fmt +lib/sis/sis_lib/help/read_oct.1 lib/sis/sis_lib/help/read_oct.fmt -lib/sis/sis_lib/help/set.fmt +lib/sis/sis_lib/help/read_pla.1 lib/sis/sis_lib/help/read_pla.fmt +lib/sis/sis_lib/help/read_slif.1 lib/sis/sis_lib/help/read_slif.fmt +lib/sis/sis_lib/help/red_removal.1 lib/sis/sis_lib/help/red_removal.fmt +lib/sis/sis_lib/help/reduce_depth.1 lib/sis/sis_lib/help/reduce_depth.fmt +lib/sis/sis_lib/help/remove_dep.1 +lib/sis/sis_lib/help/remove_dep.fmt +lib/sis/sis_lib/help/remove_latches.1 +lib/sis/sis_lib/help/remove_latches.fmt +lib/sis/sis_lib/help/replace.1 lib/sis/sis_lib/help/replace.fmt +lib/sis/sis_lib/help/reset_name.1 lib/sis/sis_lib/help/reset_name.fmt -lib/sis/sis_lib/help/stg_cover.1 +lib/sis/sis_lib/help/resub.1 lib/sis/sis_lib/help/resub.fmt +lib/sis/sis_lib/help/retime.1 lib/sis/sis_lib/help/retime.fmt +lib/sis/sis_lib/help/save.1 lib/sis/sis_lib/help/save.fmt +lib/sis/sis_lib/help/set.1 +lib/sis/sis_lib/help/set.fmt +lib/sis/sis_lib/help/set_delay.1 lib/sis/sis_lib/help/set_delay.fmt +lib/sis/sis_lib/help/set_state.1 lib/sis/sis_lib/help/set_state.fmt +lib/sis/sis_lib/help/short_tests.1 +lib/sis/sis_lib/help/short_tests.fmt +lib/sis/sis_lib/help/sim_verify.1 lib/sis/sis_lib/help/sim_verify.fmt +lib/sis/sis_lib/help/simplify.1 lib/sis/sis_lib/help/simplify.fmt +lib/sis/sis_lib/help/simulate.1 lib/sis/sis_lib/help/simulate.fmt +lib/sis/sis_lib/help/sis.1 +lib/sis/sis_lib/help/sis.man +lib/sis/sis_lib/help/source.1 lib/sis/sis_lib/help/source.fmt +lib/sis/sis_lib/help/speed_up.1 lib/sis/sis_lib/help/speed_up.fmt -lib/sis/sis_lib/help/stg_extract.1 -lib/sis/sis_lib/help/stg_to_network.1 +lib/sis/sis_lib/help/speedup_alg.1 +lib/sis/sis_lib/help/speedup_alg.fmt +lib/sis/sis_lib/help/state_assign.1 lib/sis/sis_lib/help/state_assign.fmt -lib/sis/sis_lib/help/sweep.fmt -lib/sis/sis_lib/help/tech_decomp.1 -lib/sis/sis_lib/help/time.1 -lib/sis/sis_lib/help/timeout.1 -lib/sis/sis_lib/help/make.awk -lib/sis/sis_lib/help/unalias.1 +lib/sis/sis_lib/help/state_minimize.1 lib/sis/sis_lib/help/state_minimize.fmt -lib/sis/sis_lib/help/undo.1 +lib/sis/sis_lib/help/stg_cover.1 lib/sis/sis_lib/help/stg_cover.fmt -lib/sis/sis_lib/help/unset.1 +lib/sis/sis_lib/help/stg_extract.1 lib/sis/sis_lib/help/stg_extract.fmt +lib/sis/sis_lib/help/stg_to_astg.1 +lib/sis/sis_lib/help/stg_to_astg.fmt +lib/sis/sis_lib/help/stg_to_network.1 lib/sis/sis_lib/help/stg_to_network.fmt +lib/sis/sis_lib/help/sweep.1 +lib/sis/sis_lib/help/sweep.fmt +lib/sis/sis_lib/help/tech_decomp.1 lib/sis/sis_lib/help/tech_decomp.fmt +lib/sis/sis_lib/help/time.1 lib/sis/sis_lib/help/time.fmt +lib/sis/sis_lib/help/timeout.1 lib/sis/sis_lib/help/timeout.fmt +lib/sis/sis_lib/help/trail +lib/sis/sis_lib/help/unalias.1 lib/sis/sis_lib/help/unalias.fmt -lib/sis/sis_lib/help/usage.1 -lib/sis/sis_lib/help/verify.1 +lib/sis/sis_lib/help/undo.1 lib/sis/sis_lib/help/undo.fmt -lib/sis/sis_lib/help/verify_fsm.1 -lib/sis/sis_lib/help/wd.1 -lib/sis/sis_lib/help/write_astg.1 -lib/sis/sis_lib/help/write_bdnet.1 -lib/sis/sis_lib/help/write_blif.1 -lib/sis/sis_lib/help/write_eqn.1 -lib/sis/sis_lib/help/write_kiss.1 -lib/sis/sis_lib/help/xl_ao.1 +lib/sis/sis_lib/help/unset.1 lib/sis/sis_lib/help/unset.fmt +lib/sis/sis_lib/help/usage.1 lib/sis/sis_lib/help/usage.fmt +lib/sis/sis_lib/help/verify.1 lib/sis/sis_lib/help/verify.fmt +lib/sis/sis_lib/help/verify_fsm.1 lib/sis/sis_lib/help/verify_fsm.fmt +lib/sis/sis_lib/help/wd.1 lib/sis/sis_lib/help/wd.fmt +lib/sis/sis_lib/help/write_astg.1 lib/sis/sis_lib/help/write_astg.fmt +lib/sis/sis_lib/help/write_bdnet.1 lib/sis/sis_lib/help/write_bdnet.fmt -lib/sis/sis_lib/help/write_oct.1 +lib/sis/sis_lib/help/write_blif.1 lib/sis/sis_lib/help/write_blif.fmt +lib/sis/sis_lib/help/write_eqn.1 lib/sis/sis_lib/help/write_eqn.fmt -lib/sis/sis_lib/help/write_pla.1 -lib/sis/sis_lib/help/write_slif.1 -lib/sis/sis_lib/help/xilinx.1 -lib/sis/sis_lib/help/xl_absorb.1 -lib/sis/sis_lib/help/xl_coll_ck.1 -lib/sis/sis_lib/help/xl_cover.1 -lib/sis/sis_lib/help/xl_decomp_two.1 -lib/sis/sis_lib/help/xl_imp.1 -lib/sis/sis_lib/help/xl_k_decomp.1 -lib/sis/sis_lib/help/xl_merge.1 -lib/sis/sis_lib/help/xilinx.fmt -lib/sis/sis_lib/help/xl_rl.1 -lib/sis/sis_lib/help/xl_part_coll.1 -lib/sis/sis_lib/help/xl_partition.1 +lib/sis/sis_lib/help/write_kiss.1 lib/sis/sis_lib/help/write_kiss.fmt +lib/sis/sis_lib/help/write_oct.1 lib/sis/sis_lib/help/write_oct.fmt +lib/sis/sis_lib/help/write_pds.1 +lib/sis/sis_lib/help/write_pds.fmt +lib/sis/sis_lib/help/write_pla.1 lib/sis/sis_lib/help/write_pla.fmt +lib/sis/sis_lib/help/write_slif.1 lib/sis/sis_lib/help/write_slif.fmt +lib/sis/sis_lib/help/xilinx.1 +lib/sis/sis_lib/help/xilinx.fmt +lib/sis/sis_lib/help/xl_absorb.1 lib/sis/sis_lib/help/xl_absorb.fmt +lib/sis/sis_lib/help/xl_ao.1 lib/sis/sis_lib/help/xl_ao.fmt +lib/sis/sis_lib/help/xl_coll_ck.1 lib/sis/sis_lib/help/xl_coll_ck.fmt +lib/sis/sis_lib/help/xl_cover.1 lib/sis/sis_lib/help/xl_cover.fmt +lib/sis/sis_lib/help/xl_decomp_two.1 lib/sis/sis_lib/help/xl_decomp_two.fmt +lib/sis/sis_lib/help/xl_imp.1 lib/sis/sis_lib/help/xl_imp.fmt +lib/sis/sis_lib/help/xl_k_decomp.1 lib/sis/sis_lib/help/xl_k_decomp.fmt -lib/sis/sis_lib/help/xl_rl.fmt -lib/sis/sis_lib/help/xl_split.1 +lib/sis/sis_lib/help/xl_merge.1 lib/sis/sis_lib/help/xl_merge.fmt -lib/sis/sis_lib/help/astg_lockgraph.1 +lib/sis/sis_lib/help/xl_part_coll.1 lib/sis/sis_lib/help/xl_part_coll.fmt +lib/sis/sis_lib/help/xl_partition.1 lib/sis/sis_lib/help/xl_partition.fmt +lib/sis/sis_lib/help/xl_rl.1 +lib/sis/sis_lib/help/xl_rl.fmt +lib/sis/sis_lib/help/xl_split.1 lib/sis/sis_lib/help/xl_split.fmt -lib/sis/sis_lib/help/history.1 -lib/sis/sis_lib/help/c_check.1 -lib/sis/sis_lib/help/c_opt.1 -lib/sis/sis_lib/help/c_check.fmt -lib/sis/sis_lib/help/c_opt.fmt -lib/sis/sis_lib/help/env_seq_dc.1 -lib/sis/sis_lib/help/env_verify_fsm.1 -lib/sis/sis_lib/help/equiv_nets.1 -lib/sis/sis_lib/help/force_init_0.1 -lib/sis/sis_lib/help/free_dc.1 -lib/sis/sis_lib/help/invert_io.1 -lib/sis/sis_lib/help/latch_output.1 -lib/sis/sis_lib/help/remove_dep.1 -lib/sis/sis_lib/help/remove_latches.1 -lib/sis/sis_lib/help/env_seq_dc.fmt -lib/sis/sis_lib/help/env_verify_fsm.fmt -lib/sis/sis_lib/help/equiv_nets.fmt -lib/sis/sis_lib/help/force_init_0.fmt -lib/sis/sis_lib/help/free_dc.fmt -lib/sis/sis_lib/help/invert_io.fmt -lib/sis/sis_lib/help/latch_output.fmt -lib/sis/sis_lib/help/remove_dep.fmt -lib/sis/sis_lib/help/ite_map.1 -lib/sis/sis_lib/help/remove_latches.fmt -lib/sis/sis_lib/help/astg_persist.fmt -lib/sis/sis_lib/help/speedup_alg.fmt -lib/sis/sis_lib/help/astg_state_min.1 -lib/sis/sis_lib/help/astg_state_min.fmt -lib/sis/sis_lib/help/astg_add_state.1 -lib/sis/sis_lib/help/_astg_hfrpdft.1 -lib/sis/sis_lib/help/astg_encode.1 -lib/sis/sis_lib/help/_astg_hfrpdft.fmt -lib/sis/sis_lib/help/short_tests.1 -lib/sis/sis_lib/help/astg_stg_scr.1 -lib/sis/sis_lib/help/stg_to_astg.1 -lib/sis/sis_lib/help/astg_add_state.fmt -lib/sis/sis_lib/help/astg_cycle.fmt -lib/sis/sis_lib/help/astg_encode.fmt -lib/sis/sis_lib/help/astg_flow.fmt -lib/sis/sis_lib/help/astg_hfrpdft.fmt -lib/sis/sis_lib/help/astg_irred.fmt -lib/sis/sis_lib/help/astg_mgc.fmt -lib/sis/sis_lib/help/astg_smc.fmt -lib/sis/sis_lib/help/astg_stg_scr.fmt -lib/sis/sis_lib/help/stg_to_astg.fmt -lib/sis/sis_lib/help/short_tests.fmt -lib/sis/sis_lib/help/power_estimate.1 -lib/sis/sis_lib/help/power_free_info.1 -lib/sis/sis_lib/help/power_print.1 -lib/sis/sis_lib/help/power_estimate.fmt -lib/sis/sis_lib/help/power_free_info.fmt -lib/sis/sis_lib/help/power_print.fmt -lib/sis/sis_lib/help/write_pds.fmt -lib/sis/sis_lib/help/ite_map.fmt -lib/sis/sis_lib/help/act_map.1 -lib/sis/sis_lib/minimal.genlib -lib/sis/sis_lib/.misrc -lib/sis/sis_lib/script -lib/sis/sis_lib/22-1.genlib -lib/sis/sis_lib/22-2.genlib -lib/sis/sis_lib/33-1.genlib -lib/sis/sis_lib/33-2.genlib -lib/sis/sis_lib/33-4.genlib -lib/sis/sis_lib/43-5.genlib -lib/sis/sis_lib/44-1.genlib -lib/sis/sis_lib/44-2.genlib -lib/sis/sis_lib/44-3.genlib -lib/sis/sis_lib/44-6.genlib -lib/sis/sis_lib/example.genlib +lib/sis/sis_lib/lib2.genlib +lib/sis/sis_lib/lib2_latch.genlib +lib/sis/sis_lib/mcnc-subset.genlib lib/sis/sis_lib/mcnc.genlib +lib/sis/sis_lib/mcnc_latch.genlib +lib/sis/sis_lib/minimal.genlib lib/sis/sis_lib/msu.genlib -lib/sis/sis_lib/script.msu +lib/sis/sis_lib/msu_latch.genlib lib/sis/sis_lib/nand-nor.genlib -lib/sis/sis_lib/script.espresso -lib/sis/sis_lib/script.mcnc -lib/sis/sis_lib/weird.genlib -lib/sis/sis_lib/weird.lib -lib/sis/sis_lib/.saberinit -lib/sis/sis_lib/mcnc-subset.genlib -lib/sis/sis_lib/const.genlib +lib/sis/sis_lib/script lib/sis/sis_lib/script.algebraic lib/sis/sis_lib/script.boolean lib/sis/sis_lib/script.delay -lib/sis/sis_lib/.sisrc -lib/sis/sis_lib/synch.genlib +lib/sis/sis_lib/script.espresso +lib/sis/sis_lib/script.mcnc +lib/sis/sis_lib/script.msu +lib/sis/sis_lib/script.oct lib/sis/sis_lib/script.rugged lib/sis/sis_lib/script.rugged.notes -lib/sis/sis_lib/script.oct -lib/sis/sis_lib/lib2.genlib -lib/sis/sis_lib/lib2_latch.genlib -lib/sis/sis_lib/mcnc_latch.genlib -lib/sis/sis_lib/msu_latch.genlib lib/sis/sis_lib/stdcell2_2.genlib -lib/sis/sis_lib/asynch.genlib -lib/sis/RELEASE-NOTES-1.2 -lib/sis/SIS_paper.ps.gz +lib/sis/sis_lib/synch.genlib +lib/sis/sis_lib/weird.genlib +lib/sis/sis_lib/weird.lib @dirrm lib/sis/sis_lib/help @dirrm lib/sis/sis_lib @dirrm lib/sis >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?20000804234352.42CB637B81C>