cpet/freebsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Support CC/CFLAGS/PREFIX/X11BASE/MAKE properly

Browse Source 
Sort pkg/PLIST

PR:		20418
Submitted by:	Ports Fury
This commit is contained in:
Ade Lovett 2000-09-16 18:40:55 +00:00
parent 9e9828d767
commit 358b49a600
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=32720
28 changed files with 1042 additions and 365 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
cad/sis/Makefile
View File

@ -50,14 +50,13 @@ do-install:
${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>

52
cad/sis/files/Makefile.FreeBSD
View File

@ -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

13
cad/sis/files/patch-ab
View File

@ -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)

39
cad/sis/files/patch-ag Normal file
View File

@ -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}'`\""

42
cad/sis/files/patch-ah Normal file
View File

@ -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}

42
cad/sis/files/patch-ai Normal file
View File

@ -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}

39
cad/sis/files/patch-aj Normal file
View File

@ -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}

52
cad/sis/files/patch-ak Normal file
View File

@ -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--) {

33
cad/sis/files/patch-al Normal file
View File

@ -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}

11
cad/sis/files/patch-am Normal file
View File

@ -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 */

74
cad/sis/files/patch-an Normal file
View File

@ -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

22
cad/sis/files/patch-ao Normal file
View File

@ -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

11
cad/sis/files/patch-ap Normal file
View File

@ -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);

29
cad/sis/files/patch-aq Normal file
View File

@ -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)

11
cad/sis/files/patch-ar Normal file
View File

@ -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}

11
cad/sis/files/patch-as Normal file
View File

@ -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
#----------------------------------------------------------------------

11
cad/sis/files/patch-at Normal file
View File

@ -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;

40
cad/sis/files/patch-au Normal file
View File

@ -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}'`\""

20
cad/sis/files/patch-av Normal file
View File

@ -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:

13
cad/sis/files/patch-aw Normal file
View File

@ -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;
{

25
cad/sis/files/patch-ax Normal file
View File

@ -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

33
cad/sis/files/patch-ay Normal file
View File

@ -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}

25
cad/sis/files/patch-az Normal file
View File

@ -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;

11
cad/sis/files/patch-ba Normal file
View File

@ -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;

39
cad/sis/files/patch-bb Normal file
View File

@ -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}'`\""

26
cad/sis/files/patch-bc Normal file
View File

@ -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) {

12
cad/sis/files/patch-bd Normal file
View File

@ -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);

664
cad/sis/pkg-plist
View File

@ -1,320 +1,17 @@
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/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.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/add_inverter.fmt
lib/sis/sis_lib/help/astg_contract.fmt
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_lockgraph.fmt
lib/sis/sis_lib/help/astg_marking.fmt
lib/sis/sis_lib/help/astg_print_sg.fmt
lib/sis/sis_lib/help/astg_print_stat.fmt
lib/sis/sis_lib/help/astg_slow.fmt
lib/sis/sis_lib/help/astg_syn.fmt
lib/sis/sis_lib/help/astg_to_f.fmt
lib/sis/sis_lib/help/astg_to_stg.fmt
lib/sis/sis_lib/help/atpg.fmt
lib/sis/sis_lib/help/bdsyn.fmt
lib/sis/sis_lib/help/buffer_opt.fmt
lib/sis/sis_lib/help/map.fmt
lib/sis/sis_lib/help/chng_clock.fmt
lib/sis/sis_lib/help/chng_name.fmt
lib/sis/sis_lib/help/collapse.fmt
lib/sis/sis_lib/help/constraints.fmt
lib/sis/sis_lib/help/decomp.fmt
lib/sis/sis_lib/help/echo.fmt
lib/sis/sis_lib/help/eliminate.fmt
lib/sis/sis_lib/help/espresso.fmt
lib/sis/sis_lib/help/extract_seq_dc.fmt
lib/sis/sis_lib/help/factor.fmt
lib/sis/sis_lib/help/fanout_alg.fmt
lib/sis/sis_lib/help/fanout_param.fmt
lib/sis/sis_lib/help/full_simplify.fmt
lib/sis/sis_lib/help/help.fmt
lib/sis/sis_lib/help/history.fmt
lib/sis/sis_lib/help/invert.fmt
lib/sis/sis_lib/help/speedup_alg.1
lib/sis/sis_lib/help/one_hot.fmt
lib/sis/sis_lib/help/phase.fmt
lib/sis/sis_lib/help/plot_blif.fmt
lib/sis/sis_lib/help/print.fmt
lib/sis/sis_lib/help/print_altname.fmt
lib/sis/sis_lib/help/print_clock.fmt
lib/sis/sis_lib/help/print_delay.fmt
lib/sis/sis_lib/help/print_factor.fmt
lib/sis/sis_lib/help/print_gate.fmt
lib/sis/sis_lib/help/print_io.fmt
lib/sis/sis_lib/help/print_kernel.fmt
lib/sis/sis_lib/help/print_latch.fmt
lib/sis/sis_lib/help/print_level.fmt
lib/sis/sis_lib/help/print_library.fmt
lib/sis/sis_lib/help/print_map_stats.fmt
lib/sis/sis_lib/help/print_state.fmt
lib/sis/sis_lib/help/print_stats.fmt
lib/sis/sis_lib/help/print_value.fmt
lib/sis/sis_lib/help/quit.fmt
lib/sis/sis_lib/help/read_astg.fmt
lib/sis/sis_lib/help/read_blif.fmt
lib/sis/sis_lib/help/read_eqn.fmt
lib/sis/sis_lib/help/read_kiss.fmt
lib/sis/sis_lib/help/read_library.fmt
lib/sis/sis_lib/help/read_oct.fmt
lib/sis/sis_lib/help/set.fmt
lib/sis/sis_lib/help/read_pla.fmt
lib/sis/sis_lib/help/read_slif.fmt
lib/sis/sis_lib/help/red_removal.fmt
lib/sis/sis_lib/help/reduce_depth.fmt
lib/sis/sis_lib/help/replace.fmt
lib/sis/sis_lib/help/reset_name.fmt
lib/sis/sis_lib/help/stg_cover.1
lib/sis/sis_lib/help/resub.fmt
lib/sis/sis_lib/help/retime.fmt
lib/sis/sis_lib/help/save.fmt
lib/sis/sis_lib/help/set_delay.fmt
lib/sis/sis_lib/help/set_state.fmt
lib/sis/sis_lib/help/sim_verify.fmt
lib/sis/sis_lib/help/simplify.fmt
lib/sis/sis_lib/help/simulate.fmt
lib/sis/sis_lib/help/source.fmt
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/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.fmt
lib/sis/sis_lib/help/undo.1
lib/sis/sis_lib/help/stg_cover.fmt
lib/sis/sis_lib/help/unset.1
lib/sis/sis_lib/help/stg_extract.fmt
lib/sis/sis_lib/help/stg_to_network.fmt
lib/sis/sis_lib/help/tech_decomp.fmt
lib/sis/sis_lib/help/time.fmt
lib/sis/sis_lib/help/timeout.fmt
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.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.fmt
lib/sis/sis_lib/help/usage.fmt
lib/sis/sis_lib/help/verify.fmt
lib/sis/sis_lib/help/verify_fsm.fmt
lib/sis/sis_lib/help/wd.fmt
lib/sis/sis_lib/help/write_astg.fmt
lib/sis/sis_lib/help/write_bdnet.fmt
lib/sis/sis_lib/help/write_oct.1
lib/sis/sis_lib/help/write_blif.fmt
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.fmt
lib/sis/sis_lib/help/write_oct.fmt
lib/sis/sis_lib/help/write_pla.fmt
lib/sis/sis_lib/help/write_slif.fmt
lib/sis/sis_lib/help/xl_absorb.fmt
lib/sis/sis_lib/help/xl_ao.fmt
lib/sis/sis_lib/help/xl_coll_ck.fmt
lib/sis/sis_lib/help/xl_cover.fmt
lib/sis/sis_lib/help/xl_decomp_two.fmt
lib/sis/sis_lib/help/xl_imp.fmt
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.fmt
lib/sis/sis_lib/help/astg_lockgraph.1
lib/sis/sis_lib/help/xl_part_coll.fmt
lib/sis/sis_lib/help/xl_partition.fmt
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/RELEASE-NOTES-1.2
lib/sis/SIS_paper.ps.gz
lib/sis/sis_lib/.misrc
lib/sis/sis_lib/script
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
@ -325,34 +22,337 @@ 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/mcnc.genlib
lib/sis/sis_lib/msu.genlib
lib/sis/sis_lib/script.msu
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/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/_astg_cycle.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/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/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/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/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/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/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/state_minimize.1
lib/sis/sis_lib/help/state_minimize.fmt
lib/sis/sis_lib/help/stg_cover.1
lib/sis/sis_lib/help/stg_cover.fmt
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/undo.1
lib/sis/sis_lib/help/undo.fmt
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_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_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_merge.1
lib/sis/sis_lib/help/xl_merge.fmt
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/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/msu_latch.genlib
lib/sis/sis_lib/nand-nor.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