mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-23 00:43:28 +00:00
Code Issues Releases Activity

As announced on May 6, remove the broken sis port.

Browse Source
This commit is contained in:
Kris Kennaway 2003-08-08 03:33:42 +00:00
parent 6bef01b5bb
commit e3dcbe5437
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=86541
35 changed files with 0 additions and 1233 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
cad/Makefile
View File

@ -40,7 +40,6 @@
SUBDIR += qfsm
SUBDIR += qmls
SUBDIR += sceptre
SUBDIR += sis
SUBDIR += slffea
SUBDIR += spice
SUBDIR += tkgate

65
cad/sis/Makefile
View File

@ -1,65 +0,0 @@
# New ports collection makefile for: sis
# Date created: 10 October 1997
# Whom: volf@oasis.IAEhv.nl
#
# $FreeBSD$
#
PORTNAME= sis
PORTVERSION= 1.2.1
CATEGORIES= cad
MASTER_SITES= ftp://ic.eecs.berkeley.edu/pub/Sis/
DISTNAME= ${PORTNAME}-1.2
EXTRACT_SUFX= .tar.Z
PATCH_SITES= ftp://ic.eecs.berkeley.edu/pub/Sis/
PATCHFILES= sis-1.2.patch1.Z
PATCH_DIST_STRIP= -p1
MAINTAINER= volf@oasis.IAEhv.nl
COMMENT= Synthesis program for the synthesis of sequential circuits
BROKEN= "Does not compile"
USE_XLIB= yes
MAKEFILE= Makefile.FreeBSD
MAN1= espresso.1 jedi.1 nova.1 sis.1 sred.1 stamina.1 \
vst2blif.1 xsis.1
MAN5= espresso.5 pla.5
pre-build: ${WRKSRC}/Makefile.FreeBSD
${WRKSRC}/Makefile.FreeBSD:
${CP} ${FILESDIR}/Makefile.FreeBSD ${WRKSRC}
do-install:
${INSTALL_PROGRAM} ${WRKSRC}/sis/sis ${PREFIX}/bin
${INSTALL_PROGRAM} ${WRKSRC}/jedi/jedi ${PREFIX}/bin
${INSTALL_PROGRAM} ${WRKSRC}/sred/sred ${PREFIX}/bin
${INSTALL_PROGRAM} ${WRKSRC}/stamina/bin/stamina ${PREFIX}/bin
${INSTALL_PROGRAM} ${WRKSRC}/nova/nova ${PREFIX}/bin
${INSTALL_PROGRAM} ${WRKSRC}/espresso/espresso ${PREFIX}/bin
${INSTALL_PROGRAM} ${WRKSRC}/vst2blif/vst2blif ${PREFIX}/bin
${INSTALL_PROGRAM} ${WRKSRC}/blif2vst/blif2vst ${PREFIX}/bin
${INSTALL_PROGRAM} ${WRKSRC}/xsis/xsis ${PREFIX}/bin
${INSTALL_MAN} ${WRKSRC}/espresso/espresso.1 ${PREFIX}/man/man1
${INSTALL_MAN} ${WRKSRC}/jedi/jedi.1 ${PREFIX}/man/man1
${INSTALL_MAN} ${WRKSRC}/nova/nova.1 ${PREFIX}/man/man1
${INSTALL_MAN} ${WRKSRC}/sis/sis_lib/help/sis.1 ${PREFIX}/man/man1
${INSTALL_MAN} ${WRKSRC}/sred/sred.1 ${PREFIX}/man/man1
${INSTALL_MAN} ${WRKSRC}/stamina/stamina.1 ${PREFIX}/man/man1
${INSTALL_MAN} ${WRKSRC}/vst2blif/vst2blif.1 ${PREFIX}/man/man1
${INSTALL_MAN} ${WRKSRC}/xsis/xsis.1 ${PREFIX}/man/man1
${INSTALL_MAN} ${WRKSRC}/espresso/espresso.5 ${PREFIX}/man/man5
${INSTALL_MAN} ${WRKSRC}/espresso/pla.5 ${PREFIX}/man/man5
${MKDIR} ${PREFIX}/lib/sis
${TAR} -C ${WRKSRC}/sis -cf - sis_lib | \
${TAR} -C ${PREFIX}/lib/sis --unlink -xf -
.if !defined(NOPORTDOCS)
${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
.endif
${CHOWN} -R bin:bin ${PREFIX}/lib/sis
.include <bsd.port.mk>

2
cad/sis/distinfo
View File

@ -1,2 +0,0 @@
MD5 (sis-1.2.tar.Z) = 4a6a427c2e10f166c6c080630713a016
MD5 (sis-1.2.patch1.Z) = ea713114d925c04463b0ec87dad3ff57

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

@ -1,47 +0,0 @@
#
# $FreeBSD$
#
MACHINE = FreeBSD
SRCDIR = ${.CURDIR}
X11 = ${X11BASE}
SIS = $(SRCDIR)/sis
CAD = $(SRCDIR)/cad
LIBDIR = $(PREFIX)/lib/sis
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; \
mv libutility.a $(CAD)/lib; cd ..
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 ..
clean:
cd sis; $(MAKE) SIS=$(SIS) CAD=$(CAD) clean; cd ..
cd utility; $(MAKE) clean; cd ..
-rm $(CAD)/lib/libutility.a
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 ..
-rm -rf make.out Makefile

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

@ -1,19 +0,0 @@
--- 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
+.if $(PORTOBJFORMAT) == "elf"
+LIBS2 +=-Wl,-rpath,$(X11)/lib
+.endif
# ---------------------------------------------------------------------------
-CC = cc
-CFLAGS = -O $(INCLUDE)
+CC ?= cc
+CFLAGS += $(INCLUDE)
LDFLAGS =
$(TARGET): $(OBJ) $(LIBS)

11
cad/sis/files/patch-ac
View File

@ -1,11 +0,0 @@
--- jedi/random.c.orig Thu Jan 27 22:04:58 2000
+++ jedi/random.c Thu Jan 27 22:12:50 2000
@@ -29,7 +29,7 @@
{
int i, j;
int random_code;
- long time();
+ time_t time();
/*
* generate random seed

11
cad/sis/files/patch-ad
View File

@ -1,11 +0,0 @@
--- nova/anneal_code.c.orig Fri Apr 22 21:02:21 1994
+++ nova/anneal_code.c Thu Jan 27 22:17:11 2000
@@ -195,7 +195,7 @@
* Assign nodes initial encodings prior to annealing
*/
- long time();
+ time_t time();
int i,new_code,increment,range,seed,trandom();
/* seed = (int) time(0); */

11
cad/sis/files/patch-ae
View File

@ -1,11 +0,0 @@
--- nova/ihybrid_code.c.orig Thu Jan 27 22:21:28 2000
+++ nova/ihybrid_code.c Thu Jan 27 22:21:37 2000
@@ -932,7 +932,7 @@
{
- long time();
+ time_t time();
int code_bits,i,new_code,increment,range,seed,trandom();
if (VERBOSE) printf("\nI generated a random code\n");

11
cad/sis/files/patch-af
View File

@ -1,11 +0,0 @@
--- nova/log_output.c.orig Thu Jan 27 22:23:24 2000
+++ nova/log_output.c Thu Jan 27 22:23:38 2000
@@ -157,7 +157,7 @@
{
- long time();
+ time_t time();
int i,new_code,increment,range,current_size,seed,trandom();
seed = (int) time(0);

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

@ -1,39 +0,0 @@
--- 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
View File

@ -1,42 +0,0 @@
--- 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
View File

@ -1,42 +0,0 @@
--- 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
View File

@ -1,39 +0,0 @@
--- 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
View File

@ -1,52 +0,0 @@
--- 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
View File

@ -1,33 +0,0 @@
--- 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
View File

@ -1,11 +0,0 @@
--- 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
View File

@ -1,74 +0,0 @@
--- 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
View File

@ -1,22 +0,0 @@
--- 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
View File

@ -1,11 +0,0 @@
--- 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
View File

@ -1,29 +0,0 @@
--- 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
View File

@ -1,11 +0,0 @@
--- 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
View File

@ -1,11 +0,0 @@
--- 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
View File

@ -1,11 +0,0 @@
--- 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
View File

@ -1,40 +0,0 @@
--- 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
View File

@ -1,20 +0,0 @@
--- 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
View File

@ -1,13 +0,0 @@
--- 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
View File

@ -1,25 +0,0 @@
--- 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
View File

@ -1,33 +0,0 @@
--- 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
View File

@ -1,25 +0,0 @@
--- 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
View File

@ -1,11 +0,0 @@
--- 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
View File

@ -1,39 +0,0 @@
--- 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
View File

@ -1,26 +0,0 @@
--- 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
View File

@ -1,12 +0,0 @@
--- 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);

26
cad/sis/pkg-descr
View File

@ -1,26 +0,0 @@
sis is an interactive program for the synthesis of both synchronous
and asynchronous sequential circuits. The input can be given in state
table format or as logical equations (for synchronous circuits), or
as a signal transition graph (for asynchronous circuits); a target
technology library is given in genlib format. The output is a netlist
of gates in the target technology.
The system includes various capabilities that are controlled interactively
by the user. These include state minimization, state assignment,
optimization for area and delay using retiming, optimization using
standard algebraic and Boolean combinational techniques from MISII,
performance optimization using restructuring, and technology mapping
for optimal area and delay. Redundancy removal and 100% testability
are provided for combinational and scan-path circuits. Formal verification
is available for both combinational and sequential circuits, even for
circuits with different state encodings.
This distribution contains sis, nova (state assignment), jedi (state
assignment), stamina (state minimization, from June Rho at University of
Colorado, Boulder), sred (state minimization), espresso, blif2vst (mapped
BLIF to structural VHDL translator), vst2blif (structural VHDL to BLIF
translator), xsis (a front-end graphical interface to sis) and several stripped
down packages from the OctTools (options, port, and utility) that are needed
for some of the programs listed above.
Frank Volf, volf@oasis.IAEhv.nl

358
cad/sis/pkg-plist
View File

@ -1,358 +0,0 @@
bin/blif2vst
bin/espresso
bin/jedi
bin/nova
bin/sis
bin/sred
bin/stamina
bin/vst2blif
bin/xsis
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/_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/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/stdcell2_2.genlib
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