Support CC/CFLAGS/PREFIX/X11BASE/MAKE properly

Sort pkg/PLIST

PR:		20418
Submitted by:	Ports Fury

28 files changed, 939 insertions, 262 deletions

diff --git a/cad/sis/Makefile b/cad/sis/Makefile
index d5f616ab57c7..98f930387548 100644
--- a/cad/sis/Makefile
+++ b/cad/sis/Makefile
@@ -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>
diff --git a/cad/sis/files/Makefile.FreeBSD b/cad/sis/files/Makefile.FreeBSD
index 3c3960caaa67..3a73d2b7ef23 100644
--- a/cad/sis/files/Makefile.FreeBSD
+++ b/cad/sis/files/Makefile.FreeBSD
@@ -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 --git a/cad/sis/files/patch-ab b/cad/sis/files/patch-ab
index 8e3c6568e6bb..4dcf7b494567 100644
--- a/cad/sis/files/patch-ab
+++ b/cad/sis/files/patch-ab
@@ -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 --git a/cad/sis/files/patch-ag b/cad/sis/files/patch-ag
new file mode 100644
index 000000000000..0391b08ffe6b
--- /dev/null
+++ b/cad/sis/files/patch-ag
@@ -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 --git a/cad/sis/files/patch-ah b/cad/sis/files/patch-ah
new file mode 100644
index 000000000000..c7756ff76a11
--- /dev/null
+++ b/cad/sis/files/patch-ah
@@ -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 --git a/cad/sis/files/patch-ai b/cad/sis/files/patch-ai
new file mode 100644
index 000000000000..42d0774ea85e
--- /dev/null
+++ b/cad/sis/files/patch-ai
@@ -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 --git a/cad/sis/files/patch-aj b/cad/sis/files/patch-aj
new file mode 100644
index 000000000000..113548a7ea57
--- /dev/null
+++ b/cad/sis/files/patch-aj
@@ -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 --git a/cad/sis/files/patch-ak b/cad/sis/files/patch-ak
new file mode 100644
index 000000000000..b4c245dc0312
--- /dev/null
+++ b/cad/sis/files/patch-ak
@@ -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 --git a/cad/sis/files/patch-al b/cad/sis/files/patch-al
new file mode 100644
index 000000000000..76371912a2dc
--- /dev/null
+++ b/cad/sis/files/patch-al
@@ -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 --git a/cad/sis/files/patch-am b/cad/sis/files/patch-am
new file mode 100644
index 000000000000..927f598c45d5
--- /dev/null
+++ b/cad/sis/files/patch-am
@@ -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 --git a/cad/sis/files/patch-an b/cad/sis/files/patch-an
new file mode 100644
index 000000000000..40b1c5aa604a
--- /dev/null
+++ b/cad/sis/files/patch-an
@@ -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 --git a/cad/sis/files/patch-ao b/cad/sis/files/patch-ao
new file mode 100644
index 000000000000..4a3e64d68e85
--- /dev/null
+++ b/cad/sis/files/patch-ao
@@ -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 --git a/cad/sis/files/patch-ap b/cad/sis/files/patch-ap
new file mode 100644
index 000000000000..7261c71fe60e
--- /dev/null
+++ b/cad/sis/files/patch-ap
@@ -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 --git a/cad/sis/files/patch-aq b/cad/sis/files/patch-aq
new file mode 100644
index 000000000000..d4ca2ea3f39c
--- /dev/null
+++ b/cad/sis/files/patch-aq
@@ -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 --git a/cad/sis/files/patch-ar b/cad/sis/files/patch-ar
new file mode 100644
index 000000000000..1ba0a3141fed
--- /dev/null
+++ b/cad/sis/files/patch-ar
@@ -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 --git a/cad/sis/files/patch-as b/cad/sis/files/patch-as
new file mode 100644
index 000000000000..cf252efe62a0
--- /dev/null
+++ b/cad/sis/files/patch-as
@@ -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 --git a/cad/sis/files/patch-at b/cad/sis/files/patch-at
new file mode 100644
index 000000000000..c1b0361541c0
--- /dev/null
+++ b/cad/sis/files/patch-at
@@ -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 --git a/cad/sis/files/patch-au b/cad/sis/files/patch-au
new file mode 100644
index 000000000000..42b495c0ffb5
--- /dev/null
+++ b/cad/sis/files/patch-au
@@ -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 --git a/cad/sis/files/patch-av b/cad/sis/files/patch-av
new file mode 100644
index 000000000000..4b84b3109bef
--- /dev/null
+++ b/cad/sis/files/patch-av
@@ -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 --git a/cad/sis/files/patch-aw b/cad/sis/files/patch-aw
new file mode 100644
index 000000000000..785bb4620db4
--- /dev/null
+++ b/cad/sis/files/patch-aw
@@ -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 --git a/cad/sis/files/patch-ax b/cad/sis/files/patch-ax
new file mode 100644
index 000000000000..28c69f2110cf
--- /dev/null
+++ b/cad/sis/files/patch-ax
@@ -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 --git a/cad/sis/files/patch-ay b/cad/sis/files/patch-ay
new file mode 100644
index 000000000000..d234781b2f7f
--- /dev/null
+++ b/cad/sis/files/patch-ay
@@ -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 --git a/cad/sis/files/patch-az b/cad/sis/files/patch-az
new file mode 100644
index 000000000000..6037492388b4
--- /dev/null
+++ b/cad/sis/files/patch-az
@@ -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 --git a/cad/sis/files/patch-ba b/cad/sis/files/patch-ba
new file mode 100644
index 000000000000..614553268c9f
--- /dev/null
+++ b/cad/sis/files/patch-ba
@@ -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 --git a/cad/sis/files/patch-bb b/cad/sis/files/patch-bb
new file mode 100644
index 000000000000..4d513d652b6d
--- /dev/null
+++ b/cad/sis/files/patch-bb
@@ -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 --git a/cad/sis/files/patch-bc b/cad/sis/files/patch-bc
new file mode 100644
index 000000000000..eb6a5e0a1374
--- /dev/null
+++ b/cad/sis/files/patch-bc
@@ -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 --git a/cad/sis/files/patch-bd b/cad/sis/files/patch-bd
new file mode 100644
index 000000000000..dec3b25dc621
--- /dev/null
+++ b/cad/sis/files/patch-bd
@@ -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 --git a/cad/sis/pkg-plist b/cad/sis/pkg-plist
index 8ed1c1487ff3..b158948de291 100644
--- a/cad/sis/pkg-plist
+++ b/cad/sis/pkg-plist
@@ -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