riscv
/
alliance
mirror of https://gitlab.lip6.fr/vlsi-eda/alliance.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

quelques oublis ....

This commit is contained in:
Christophe Alexandre 2002-04-29 12:32:25 +00:00
parent 6b6770402f
commit b941e01e17
7 changed files with 26 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
alliance/src/beh/man3/Makefile.am
View File

@ -10,3 +10,5 @@ beh_addbeout.3 beh_delbegen.3 beh_frebebus.3 beh_getgenva.3 beh_rmvbepor.3 \
beh_addbepor.3 beh_delbemsg.3 beh_frebebux.3 beh_makbdd.3 beh_rmvbereg.3 \
beh_addbereg.3 beh_delbeout.3 beh_frebefig.3 beh_makgex.3 beh_rmvberin.3 \
beh_addberin.3 beh_delbepor.3 beh_frebegen.3 beh_message.3
EXTRA_DIST= $(man_MANS)

2
alliance/src/genlib/src/Makefile.am
View File

@ -8,3 +8,5 @@ CLEANFILES = genlib
genlib : ${srcdir}/genlib.sh
${SED} 's,__ALLIANCE_INSTALL_DIR__,$(ALLIANCE_INSTALL_DIR),' $< > $@
chmod a+x $@
EXTRA_DIST = genlib.sh

2
alliance/src/log/man1/Makefile.am
View File

@ -1 +1,3 @@
man_MANS = log.1
EXTRA_DIST = $(man_MANS)

2
alliance/src/log/man3/Makefile.am
View File

@ -4,3 +4,5 @@ addListBdd.3 createNodeTermBdd.3 markBdd.3 simplifDcZeroBdd.3 \
applyBdd.3 destroyBdd.3 notBdd.3 supportChain_listBdd.3 \
applyBinBdd.3 displayBdd.3 numberNodeAllBdd.3 upVarBdd.3 \
bddToAblCct.3 gcNodeBdd.3 numberNodeBdd.3
EXTRA_DIST = $(man_MANS)

3
alliance/src/mbkspice/src/Makefile.am
View File

@ -2,4 +2,5 @@ AM_CFLAGS = @ALLIANCE_CFLAGS@
lib_LIBRARIES = libMsl.a
libMsl_a_SOURCES = spi_drive.c spi_drive.h spi_global.c spi_global.h \
spi_hash.c spi_hash.h spi_int.c spi_int.h spi_msg.c \
spi_msg.h spi_parse.c spi_parse.h
spi_msg.h spi_parse.c spi_parse.h \
msl.h

3
alliance/src/proof/src/Makefile.am
View File

@ -8,4 +8,5 @@ proof_LDADD = @ALLIANCE_LIBS@ \
-lBvl -lBhl -lBeh -lLog -lMut
proof_SOURCES = \
proof_compile.c proof_main.c proof_util.c
proof_compile.c proof_main.c proof_util.c \
proof_compile.h proof_util.h

20
alliance/src/rds/src/Makefile.am
View File

@ -9,11 +9,19 @@ AM_CFLAGS = @ALLIANCE_CFLAGS@ \
include_HEADERS = rds.h rfm.h rtl.h rwi.h rpr.h rut.h
libRds_a_SOURCES = rdsalloc.c rdsfree.c rdsadd.c rdsdel.c rdsview.c \
rdserror.c rdsdebug.c
libRut_a_SOURCES = rutacces.c rutpoly.c rutequi.c rutunify.c ruterror.c
libRfm_a_SOURCES = rfmacces.c rfmview.c rfmerror.c
libRpr_a_SOURCES = rprparse.c rprview.c rprerror.c
rdserror.c rdsdebug.c \
rdsalloc.h rdsfree.h rdsadd.h rdsdel.h rdsview.h \
rdserror.h rdsdebug.h
libRut_a_SOURCES = rutacces.c rutpoly.c rutequi.c rutunify.c ruterror.c \
rutacces.h rutpoly.h rutequi.h rutunify.h ruterror.h
libRfm_a_SOURCES = rfmacces.c rfmview.c rfmerror.c \
rfmacces.h rfmview.h rfmerror.h
libRpr_a_SOURCES = rprparse.c rprview.c rprerror.c \
rprparse.h rprview.h rprerror.h
libRwi_a_SOURCES = rwialloc.c rwidel.c rwierror.c rwiget.c rwiadd.c \
rwibuild.c rwidestroy.c rwifree.c rwiview.c
libRtl_a_SOURCES = rtlacces.c rtlenv.c rtlerror.c
rwibuild.c rwidestroy.c rwifree.c rwiview.c \
rwialloc.h rwidel.h rwierror.h rwiget.h rwiadd.h \
rwibuild.h rwidestroy.h rwifree.h rwiview.h
libRtl_a_SOURCES = rtlacces.c rtlenv.c rtlerror.c \
rtlacces.h rtlenv.h rtlerror.h