git: 99731f4c2354 - main - cad/alliance: unbreak

From: Thierry Thomas <thierry_at_FreeBSD.org>
Date: Sun, 20 Nov 2022 15:41:54 UTC
The branch main has been updated by thierry:

URL: https://cgit.FreeBSD.org/ports/commit/?id=99731f4c2354c2e6b1599a6d7b740e647f4386f5

commit 99731f4c2354c2e6b1599a6d7b740e647f4386f5
Author:     Thierry Thomas <thierry@FreeBSD.org>
AuthorDate: 2022-11-20 15:33:34 +0000
Commit:     Thierry Thomas <thierry@FreeBSD.org>
CommitDate: 2022-11-20 15:41:51 +0000

    cad/alliance: unbreak
    
    - upstream has not released a new version, but several fixes have been
      committed: get the source from GitLab and remove BROKEN;
    - change WWW;
    - enable shared libs;
    - optionalize examples and tutorial.
---
 cad/alliance/Makefile                              |   42 +-
 cad/alliance/distinfo                              |    6 +-
 .../patch-documentation_tutorials_start_start.tex  |   15 -
 cad/alliance/pkg-descr                             |    3 +
 cad/alliance/pkg-plist                             | 1410 ++++++++++++--------
 5 files changed, 909 insertions(+), 567 deletions(-)

diff --git a/cad/alliance/Makefile b/cad/alliance/Makefile
index 24e6027c5372..b14ea8020cf6 100644
--- a/cad/alliance/Makefile
+++ b/cad/alliance/Makefile
@@ -1,25 +1,26 @@
 PORTNAME=	alliance
 DISTVERSION=	5.1.1
-PORTREVISION=	2
+PORTREVISION=	3
 CATEGORIES=	cad
-MASTER_SITES=	ftp://asim.lip6.fr/pub/alliance/distribution/5.0/ \
-		ftp://ftp.lyx.org/lip6/softs/alliance/distribution/5.0/ \
-		ftp://ftp.jussieu.fr/lip6/softs/alliance/distribution/5.0/
 
 MAINTAINER=	ports@FreeBSD.org
 COMMENT=	Complete set of CAD tools and libraries for VLSI design
-WWW=		https://www-soc.lip6.fr/equipe-cian/logiciels/alliance/
+WWW=		http://coriolis.lip6.fr/
 
 LICENSE=	Alliance
 LICENSE_NAME=	Alliance VLSI Cad System License
 LICENSE_FILE=	${WRKSRC}/LICENCE
 LICENSE_PERMS=	dist-mirror dist-sell pkg-mirror pkg-sell auto-accept
 
-BROKEN=	fails to build with latest TeX2021
 BROKEN_aarch64=	fails to link: collect2: error: ld returned 1 exit status
 
 BUILD_DEPENDS=	fig2dev:print/fig2dev
 
+USE_GITLAB=	yes
+GL_SITE=	https://gitlab.lip6.fr
+GL_ACCOUNT=	vlsi-eda
+GL_COMMIT=	ebece102e15c110fc79f1da50524c68fd9523f0c
+
 USES=		autoreconf:build gmake libtool magick:build motif tar:bz2 xorg
 USE_GCC=	yes
 USE_TEX=	dvipsk:build latex:build
@@ -28,7 +29,10 @@ USE_XORG=	ice sm x11 xext xt
 HAS_CONFIGURE=	yes
 CONFIGURE_ENV+=	ALLIANCE_TOP=${ALLIANCE_TOP} YACC=${YACC}
 CONFIGURE_ARGS+=--mandir=${MANPREFIX}/man \
-		--prefix=${ALLIANCE_TOP}
+		--prefix=${ALLIANCE_TOP} \
+		--enable-alc-shared \
+		--enable-shared
+USE_LDCONFIG=	${ALLIANCE_TOP}/lib
 
 MAKE_JOBS_UNSAFE=	yes
 INSTALL_TARGET=	install-strip
@@ -37,21 +41,33 @@ CFLAGS+=	-fcommon
 CONFLICTS_INSTALL=	ocp publib
 
 SUB_FILES=	pkg-message
-WRKSRC=		${WRKDIR}/alliance/src
+WRKSRC_SUBDIR=	alliance/src
 
 ALLIANCE_TOP=	${PREFIX}/alliance
 
-post-patch:
-	@${REINPLACE_CMD} -e '/include <malloc.h>/d' \
+OPTIONS_DEFINE=	DOCS EXAMPLES
+
+pre-configure:
+	${REINPLACE_CMD} -e '/include <malloc.h>/d' \
 		${WRKSRC}/xgra/src/XSB_parse.c
 # Recursive make commands should always use the variable MAKE, not the
 # explicit command name `make' (see the GNU make manual, section 5.7.1)
-	@${REINPLACE_CMD} -e 's/; make/; $$(MAKE)/' \
+	${REINPLACE_CMD} -e 's/; make/; $$(MAKE)/' \
 		${WRKSRC}/documentation/Makefile.am \
 		${WRKSRC}/documentation/alliance-examples/Makefile \
 		${WRKSRC}/documentation/tutorials/Makefile.am
+	${RM} ${WRKSRC}/documentation/tutorials/Makefile.am.bak	\
+		${WRKSRC}/documentation/alliance-examples/Makefile.bak
+	cd ${WRKSRC} && ./autostuff
 
-pre-configure:
-	@cd ${WRKSRC} && ./autostuff
+post-install-DOCS-on:
+	@${MKDIR} ${STAGEDIR}${ALLIANCE_TOP}/tutorials
+	(cd ${WRKSRC}/documentation/tutorials &&	\
+		${COPYTREE_SHARE} . ${STAGEDIR}${ALLIANCE_TOP}/tutorials)
+
+post-install-EXAMPLES-on:
+	@${MKDIR} ${STAGEDIR}${ALLIANCE_TOP}/examples
+	(cd ${WRKSRC}/documentation/alliance-examples &&	\
+		${COPYTREE_SHARE} . ${STAGEDIR}${ALLIANCE_TOP}/examples)
 
 .include <bsd.port.mk>
diff --git a/cad/alliance/distinfo b/cad/alliance/distinfo
index c287b73fbc62..7898c9f8593f 100644
--- a/cad/alliance/distinfo
+++ b/cad/alliance/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1568066206
-SHA256 (alliance-5.1.1.tar.bz2) = 811f201881af46d9d36f1c60b184c136fd2b8bebbe932a29e07ced40394ecc10
-SIZE (alliance-5.1.1.tar.bz2) = 4486561
+TIMESTAMP = 1668881909
+SHA256 (vlsi-eda-alliance-ebece102e15c110fc79f1da50524c68fd9523f0c_GL0.tar.gz) = 76ef11f47f3645f546cc75a70f65d343d2c5139b703830cbf4f45b95c63e6313
+SIZE (vlsi-eda-alliance-ebece102e15c110fc79f1da50524c68fd9523f0c_GL0.tar.gz) = 6164197
diff --git a/cad/alliance/files/patch-documentation_tutorials_start_start.tex b/cad/alliance/files/patch-documentation_tutorials_start_start.tex
deleted file mode 100644
index 0310e02dfab4..000000000000
--- a/cad/alliance/files/patch-documentation_tutorials_start_start.tex
+++ /dev/null
@@ -1,15 +0,0 @@
-Add "float" package to avoid "Unknown float option 'H'" error
-
-Obtained from Debian
-
---- documentation/tutorials/start/start.tex.orig	2014-08-02 23:38:00 UTC
-+++ documentation/tutorials/start/start.tex
-@@ -9,7 +9,7 @@
- %
- %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
- \documentclass{article}
--\usepackage{charter,setspace,fancybox}
-+\usepackage{charter,setspace,fancybox,float}
- \textwidth 15cm
- \textheight 23cm
- \oddsidemargin  +0.75cm
diff --git a/cad/alliance/pkg-descr b/cad/alliance/pkg-descr
index 9941be8ef9ea..0984c3745d08 100644
--- a/cad/alliance/pkg-descr
+++ b/cad/alliance/pkg-descr
@@ -4,3 +4,6 @@ synthesis tools, and automatic place and route tools.  A complete set
 of portable CMOS libraries is provided.  Alliance is the result of a
 twelve year effort spent at ASIM department of LIP6 laboratory of
 the Pierre et Marie Curie University (Paris VI, France).
+
+Remark: Coriolis was started in the year 2000 as a replacement for the place &
+route stage of Alliance, and thus Alliance does not get many development.
diff --git a/cad/alliance/pkg-plist b/cad/alliance/pkg-plist
index afeb06cd9ce5..4b37b6b52942 100644
--- a/cad/alliance/pkg-plist
+++ b/cad/alliance/pkg-plist
@@ -35,6 +35,7 @@ alliance/bin/proof
 alliance/bin/ring
 alliance/bin/s2r
 alliance/bin/scapin
+alliance/bin/scr
 alliance/bin/sea
 alliance/bin/seplace
 alliance/bin/seroute
@@ -97,6 +98,260 @@ alliance/cells/dp_sxlib/dp_ts_x8.ap
 alliance/cells/dp_sxlib/dp_ts_x8.vbe
 alliance/cells/dp_sxlib/dp_ts_x8_buf.ap
 alliance/cells/dp_sxlib/dp_ts_x8_buf.vbe
+alliance/cells/mpxlib/CATAL
+alliance/cells/mpxlib/padreal_mpx.ap
+alliance/cells/mpxlib/pck_mpx.ap
+alliance/cells/mpxlib/pck_mpx.vbe
+alliance/cells/mpxlib/pi_mpx.ap
+alliance/cells/mpxlib/pi_mpx.vbe
+alliance/cells/mpxlib/piot_mpx.ap
+alliance/cells/mpxlib/piot_mpx.vbe
+alliance/cells/mpxlib/po_mpx.ap
+alliance/cells/mpxlib/po_mpx.vbe
+alliance/cells/mpxlib/pot_mpx.ap
+alliance/cells/mpxlib/pot_mpx.vbe
+alliance/cells/mpxlib/pvdde_mpx.ap
+alliance/cells/mpxlib/pvdde_mpx.vbe
+alliance/cells/mpxlib/pvddeck_mpx.ap
+alliance/cells/mpxlib/pvddeck_mpx.vbe
+alliance/cells/mpxlib/pvddi_mpx.ap
+alliance/cells/mpxlib/pvddi_mpx.vbe
+alliance/cells/mpxlib/pvddick_mpx.ap
+alliance/cells/mpxlib/pvddick_mpx.vbe
+alliance/cells/mpxlib/pvsse_mpx.ap
+alliance/cells/mpxlib/pvsse_mpx.vbe
+alliance/cells/mpxlib/pvsseck_mpx.ap
+alliance/cells/mpxlib/pvsseck_mpx.vbe
+alliance/cells/mpxlib/pvssi_mpx.ap
+alliance/cells/mpxlib/pvssi_mpx.vbe
+alliance/cells/mpxlib/pvssick_mpx.ap
+alliance/cells/mpxlib/pvssick_mpx.vbe
+alliance/cells/msxlib/CATAL
+alliance/cells/msxlib/Makefile.am
+alliance/cells/msxlib/an2_x05.ap
+alliance/cells/msxlib/an2_x05.vbe
+alliance/cells/msxlib/an2_x1.ap
+alliance/cells/msxlib/an2_x1.vbe
+alliance/cells/msxlib/an2_x2.ap
+alliance/cells/msxlib/an2_x2.vbe
+alliance/cells/msxlib/an3_x1.ap
+alliance/cells/msxlib/an3_x1.vbe
+alliance/cells/msxlib/an3_x2.ap
+alliance/cells/msxlib/an3_x2.vbe
+alliance/cells/msxlib/an4_x1.ap
+alliance/cells/msxlib/an4_x1.vbe
+alliance/cells/msxlib/an4_x2.ap
+alliance/cells/msxlib/an4_x2.vbe
+alliance/cells/msxlib/an4_x3.ap
+alliance/cells/msxlib/an4_x3.vbe
+alliance/cells/msxlib/aoi21_x05.ap
+alliance/cells/msxlib/aoi21_x05.vbe
+alliance/cells/msxlib/aoi21_x1.ap
+alliance/cells/msxlib/aoi21_x1.vbe
+alliance/cells/msxlib/aoi21_x2.ap
+alliance/cells/msxlib/aoi21_x2.vbe
+alliance/cells/msxlib/aoi22_x05.ap
+alliance/cells/msxlib/aoi22_x05.vbe
+alliance/cells/msxlib/aoi22_x1.ap
+alliance/cells/msxlib/aoi22_x1.vbe
+alliance/cells/msxlib/aoi22_x2.ap
+alliance/cells/msxlib/aoi22_x2.vbe
+alliance/cells/msxlib/aon21_x1.ap
+alliance/cells/msxlib/aon21_x1.vbe
+alliance/cells/msxlib/aon21_x2.ap
+alliance/cells/msxlib/aon21_x2.vbe
+alliance/cells/msxlib/aon22_x1.ap
+alliance/cells/msxlib/aon22_x1.vbe
+alliance/cells/msxlib/aon22_x2.ap
+alliance/cells/msxlib/aon22_x2.vbe
+alliance/cells/msxlib/bf1_w05.ap
+alliance/cells/msxlib/bf1_w05.vbe
+alliance/cells/msxlib/bf1_w2.ap
+alliance/cells/msxlib/bf1_w2.vbe
+alliance/cells/msxlib/bf1_x1.ap
+alliance/cells/msxlib/bf1_x1.vbe
+alliance/cells/msxlib/bf1_x2.ap
+alliance/cells/msxlib/bf1_x2.vbe
+alliance/cells/msxlib/bf1_x4.ap
+alliance/cells/msxlib/bf1_x4.vbe
+alliance/cells/msxlib/bf1_x8.ap
+alliance/cells/msxlib/bf1_x8.vbe
+alliance/cells/msxlib/bf1_y05.ap
+alliance/cells/msxlib/bf1_y05.vbe
+alliance/cells/msxlib/bf1_y1.ap
+alliance/cells/msxlib/bf1_y1.vbe
+alliance/cells/msxlib/bf1_y2.ap
+alliance/cells/msxlib/bf1_y2.vbe
+alliance/cells/msxlib/cgi2_x05.ap
+alliance/cells/msxlib/cgi2_x05.vbe
+alliance/cells/msxlib/cgi2_x1.ap
+alliance/cells/msxlib/cgi2_x1.vbe
+alliance/cells/msxlib/cgi2_x2.ap
+alliance/cells/msxlib/cgi2_x2.vbe
+alliance/cells/msxlib/cgi2a_x05.ap
+alliance/cells/msxlib/cgi2a_x05.vbe
+alliance/cells/msxlib/cgi2a_x1.ap
+alliance/cells/msxlib/cgi2a_x1.vbe
+alliance/cells/msxlib/cgi2a_x2.ap
+alliance/cells/msxlib/cgi2a_x2.vbe
+alliance/cells/msxlib/cgn2_x1.ap
+alliance/cells/msxlib/cgn2_x1.vbe
+alliance/cells/msxlib/cgn2_x2.ap
+alliance/cells/msxlib/cgn2_x2.vbe
+alliance/cells/msxlib/cgn2_x3.ap
+alliance/cells/msxlib/cgn2_x3.vbe
+alliance/cells/msxlib/cgn2_x4.ap
+alliance/cells/msxlib/cgn2_x4.vbe
+alliance/cells/msxlib/ha2_x2.ap
+alliance/cells/msxlib/ha2_x2.vbe
+alliance/cells/msxlib/iv1_w2.ap
+alliance/cells/msxlib/iv1_w2.vbe
+alliance/cells/msxlib/iv1_x05.ap
+alliance/cells/msxlib/iv1_x05.vbe
+alliance/cells/msxlib/iv1_x1.ap
+alliance/cells/msxlib/iv1_x1.vbe
+alliance/cells/msxlib/iv1_x2.ap
+alliance/cells/msxlib/iv1_x2.vbe
+alliance/cells/msxlib/iv1_x3.ap
+alliance/cells/msxlib/iv1_x3.vbe
+alliance/cells/msxlib/iv1_x4.ap
+alliance/cells/msxlib/iv1_x4.vbe
+alliance/cells/msxlib/iv1_x8.ap
+alliance/cells/msxlib/iv1_x8.vbe
+alliance/cells/msxlib/iv1_y2.ap
+alliance/cells/msxlib/iv1_y2.vbe
+alliance/cells/msxlib/mxi2_x05.ap
+alliance/cells/msxlib/mxi2_x05.vbe
+alliance/cells/msxlib/mxi2_x1.ap
+alliance/cells/msxlib/mxi2_x1.vbe
+alliance/cells/msxlib/nd2_x05.ap
+alliance/cells/msxlib/nd2_x05.vbe
+alliance/cells/msxlib/nd2_x1.ap
+alliance/cells/msxlib/nd2_x1.vbe
+alliance/cells/msxlib/nd2_x2.ap
+alliance/cells/msxlib/nd2_x2.vbe
+alliance/cells/msxlib/nd2_x4.ap
+alliance/cells/msxlib/nd2_x4.vbe
+alliance/cells/msxlib/nd2a_x1.ap
+alliance/cells/msxlib/nd2a_x1.vbe
+alliance/cells/msxlib/nd2a_x2.ap
+alliance/cells/msxlib/nd2a_x2.vbe
+alliance/cells/msxlib/nd2ab_x1.ap
+alliance/cells/msxlib/nd2ab_x1.vbe
+alliance/cells/msxlib/nd2ab_x2.ap
+alliance/cells/msxlib/nd2ab_x2.vbe
+alliance/cells/msxlib/nd3_x05.ap
+alliance/cells/msxlib/nd3_x05.vbe
+alliance/cells/msxlib/nd3_x1.ap
+alliance/cells/msxlib/nd3_x1.vbe
+alliance/cells/msxlib/nd3_x2.ap
+alliance/cells/msxlib/nd3_x2.vbe
+alliance/cells/msxlib/nd3_x4.ap
+alliance/cells/msxlib/nd3_x4.vbe
+alliance/cells/msxlib/nd4_x05.ap
+alliance/cells/msxlib/nd4_x05.vbe
+alliance/cells/msxlib/nd4_x1.ap
+alliance/cells/msxlib/nd4_x1.vbe
+alliance/cells/msxlib/nd4_x2.ap
+alliance/cells/msxlib/nd4_x2.vbe
+alliance/cells/msxlib/nd4_x3.ap
+alliance/cells/msxlib/nd4_x3.vbe
+alliance/cells/msxlib/nr2_x05.ap
+alliance/cells/msxlib/nr2_x05.vbe
+alliance/cells/msxlib/nr2_x1.ap
+alliance/cells/msxlib/nr2_x1.vbe
+alliance/cells/msxlib/nr2_x2.ap
+alliance/cells/msxlib/nr2_x2.vbe
+alliance/cells/msxlib/nr2a_x05.ap
+alliance/cells/msxlib/nr2a_x05.vbe
+alliance/cells/msxlib/nr2a_x1.ap
+alliance/cells/msxlib/nr2a_x1.vbe
+alliance/cells/msxlib/nr3_x05.ap
+alliance/cells/msxlib/nr3_x05.vbe
+alliance/cells/msxlib/nr3_x1.ap
+alliance/cells/msxlib/nr3_x1.vbe
+alliance/cells/msxlib/nr4_x05.ap
+alliance/cells/msxlib/nr4_x05.vbe
+alliance/cells/msxlib/nr4_x1.ap
+alliance/cells/msxlib/nr4_x1.vbe
+alliance/cells/msxlib/oai21_x05.ap
+alliance/cells/msxlib/oai21_x05.vbe
+alliance/cells/msxlib/oai21_x1.ap
+alliance/cells/msxlib/oai21_x1.vbe
+alliance/cells/msxlib/oai21_x2.ap
+alliance/cells/msxlib/oai21_x2.vbe
+alliance/cells/msxlib/oai22_x05.ap
+alliance/cells/msxlib/oai22_x05.vbe
+alliance/cells/msxlib/oai22_x1.ap
+alliance/cells/msxlib/oai22_x1.vbe
+alliance/cells/msxlib/oai22_x2.ap
+alliance/cells/msxlib/oai22_x2.vbe
+alliance/cells/msxlib/oan21_x1.ap
+alliance/cells/msxlib/oan21_x1.vbe
+alliance/cells/msxlib/oan21_x2.ap
+alliance/cells/msxlib/oan21_x2.vbe
+alliance/cells/msxlib/oan22_x1.ap
+alliance/cells/msxlib/oan22_x1.vbe
+alliance/cells/msxlib/oan22_x2.ap
+alliance/cells/msxlib/oan22_x2.vbe
+alliance/cells/msxlib/or2_x1.ap
+alliance/cells/msxlib/or2_x1.vbe
+alliance/cells/msxlib/or3_x1.ap
+alliance/cells/msxlib/or3_x1.vbe
+alliance/cells/msxlib/or4_x1.ap
+alliance/cells/msxlib/or4_x1.vbe
+alliance/cells/msxlib/powmid_x0.ap
+alliance/cells/msxlib/powmid_x0.vbe
+alliance/cells/msxlib/rowend_x0.ap
+alliance/cells/msxlib/rowend_x0.vbe
+alliance/cells/msxlib/sff1_x4.ap
+alliance/cells/msxlib/sff1_x4.vbe
+alliance/cells/msxlib/sff2_x4.ap
+alliance/cells/msxlib/sff2_x4.vbe
+alliance/cells/msxlib/sff3_x4.ap
+alliance/cells/msxlib/sff3_x4.vbe
+alliance/cells/msxlib/tie_x0.ap
+alliance/cells/msxlib/tie_x0.vbe
+alliance/cells/msxlib/vddtie.ap
+alliance/cells/msxlib/vddtie.vbe
+alliance/cells/msxlib/vfeed1.ap
+alliance/cells/msxlib/vfeed1.vbe
+alliance/cells/msxlib/vfeed2.ap
+alliance/cells/msxlib/vfeed2.vbe
+alliance/cells/msxlib/vfeed3.ap
+alliance/cells/msxlib/vfeed3.vbe
+alliance/cells/msxlib/vfeed4.ap
+alliance/cells/msxlib/vfeed4.vbe
+alliance/cells/msxlib/vfeed5.ap
+alliance/cells/msxlib/vfeed5.vbe
+alliance/cells/msxlib/vfeed6.ap
+alliance/cells/msxlib/vfeed6.vbe
+alliance/cells/msxlib/vfeed7.ap
+alliance/cells/msxlib/vfeed7.vbe
+alliance/cells/msxlib/vfeed8.ap
+alliance/cells/msxlib/vfeed8.vbe
+alliance/cells/msxlib/vsstie.ap
+alliance/cells/msxlib/vsstie.vbe
+alliance/cells/msxlib/xaoi21_x05.ap
+alliance/cells/msxlib/xaoi21_x05.vbe
+alliance/cells/msxlib/xaoi21_x1.ap
+alliance/cells/msxlib/xaoi21_x1.vbe
+alliance/cells/msxlib/xaon21_x05.ap
+alliance/cells/msxlib/xaon21_x05.vbe
+alliance/cells/msxlib/xaon21_x1.ap
+alliance/cells/msxlib/xaon21_x1.vbe
+alliance/cells/msxlib/xaon22_x05.ap
+alliance/cells/msxlib/xaon22_x05.vbe
+alliance/cells/msxlib/xaon22_x1.ap
+alliance/cells/msxlib/xaon22_x1.vbe
+alliance/cells/msxlib/xnr2_x05.ap
+alliance/cells/msxlib/xnr2_x05.vbe
+alliance/cells/msxlib/xnr2_x1.ap
+alliance/cells/msxlib/xnr2_x1.vbe
+alliance/cells/msxlib/xor2_x05.ap
+alliance/cells/msxlib/xor2_x05.vbe
+alliance/cells/msxlib/xor2_x1.ap
+alliance/cells/msxlib/xor2_x1.vbe
 alliance/cells/padlib/CATAL
 alliance/cells/padlib/corner_sp.ap
 alliance/cells/padlib/corner_sp.vbe
@@ -171,30 +426,56 @@ alliance/cells/pxlib/CATAL
 alliance/cells/pxlib/padreal.ap
 alliance/cells/pxlib/pck_px.ap
 alliance/cells/pxlib/pck_px.vbe
+alliance/cells/pxlib/pck_sp.ap
+alliance/cells/pxlib/pck_sp.vbe
 alliance/cells/pxlib/pi_px.ap
 alliance/cells/pxlib/pi_px.vbe
+alliance/cells/pxlib/pi_sp.ap
+alliance/cells/pxlib/pi_sp.vbe
 alliance/cells/pxlib/piot_px.ap
 alliance/cells/pxlib/piot_px.vbe
+alliance/cells/pxlib/piot_sp.ap
+alliance/cells/pxlib/piot_sp.vbe
 alliance/cells/pxlib/po_px.ap
 alliance/cells/pxlib/po_px.vbe
+alliance/cells/pxlib/po_sp.ap
+alliance/cells/pxlib/po_sp.vbe
 alliance/cells/pxlib/pot_px.ap
 alliance/cells/pxlib/pot_px.vbe
+alliance/cells/pxlib/pot_sp.ap
+alliance/cells/pxlib/pot_sp.vbe
 alliance/cells/pxlib/pvdde_px.ap
 alliance/cells/pxlib/pvdde_px.vbe
+alliance/cells/pxlib/pvdde_sp.ap
+alliance/cells/pxlib/pvdde_sp.vbe
 alliance/cells/pxlib/pvddeck_px.ap
 alliance/cells/pxlib/pvddeck_px.vbe
+alliance/cells/pxlib/pvddeck_sp.ap
+alliance/cells/pxlib/pvddeck_sp.vbe
 alliance/cells/pxlib/pvddi_px.ap
 alliance/cells/pxlib/pvddi_px.vbe
+alliance/cells/pxlib/pvddi_sp.ap
+alliance/cells/pxlib/pvddi_sp.vbe
 alliance/cells/pxlib/pvddick_px.ap
 alliance/cells/pxlib/pvddick_px.vbe
+alliance/cells/pxlib/pvddick_sp.ap
+alliance/cells/pxlib/pvddick_sp.vbe
 alliance/cells/pxlib/pvsse_px.ap
 alliance/cells/pxlib/pvsse_px.vbe
+alliance/cells/pxlib/pvsse_sp.ap
+alliance/cells/pxlib/pvsse_sp.vbe
 alliance/cells/pxlib/pvsseck_px.ap
 alliance/cells/pxlib/pvsseck_px.vbe
+alliance/cells/pxlib/pvsseck_sp.ap
+alliance/cells/pxlib/pvsseck_sp.vbe
 alliance/cells/pxlib/pvssi_px.ap
 alliance/cells/pxlib/pvssi_px.vbe
+alliance/cells/pxlib/pvssi_sp.ap
+alliance/cells/pxlib/pvssi_sp.vbe
 alliance/cells/pxlib/pvssick_px.ap
 alliance/cells/pxlib/pvssick_px.vbe
+alliance/cells/pxlib/pvssick_sp.ap
+alliance/cells/pxlib/pvssick_sp.vbe
 alliance/cells/ramlib/CATAL
 alliance/cells/ramlib/ram_mem_buf0.ap
 alliance/cells/ramlib/ram_mem_buf0.vbe
@@ -980,37 +1261,6 @@ alliance/cells/sxlib/zero_x0.ap
 alliance/cells/sxlib/zero_x0.sym
 alliance/cells/sxlib/zero_x0.vbe
 alliance/cells/sxlib/zero_x0.vhd
-alliance/doc/design-flow/beh-spec-alliance.gif
-alliance/doc/design-flow/beh-spec-asimut.gif
-alliance/doc/design-flow/beh-spec-fsm.gif
-alliance/doc/design-flow/beh-spec-mocha.gif
-alliance/doc/design-flow/beh-spec-rtl.gif
-alliance/doc/design-flow/beh-spec-split.gif
-alliance/doc/design-flow/beh-spec-struct.gif
-alliance/doc/design-flow/beh-spec-syf.gif
-alliance/doc/design-flow/beh-spec-vasy.gif
-alliance/doc/design-flow/dreal.gif
-alliance/doc/design-flow/flow.html
-alliance/doc/design-flow/future.html
-alliance/doc/design-flow/graal.gif
-alliance/doc/design-flow/index.html
-alliance/doc/design-flow/intro.html
-alliance/doc/design-flow/logo.gif
-alliance/doc/design-flow/mips-small.jpg
-alliance/doc/design-flow/mips.html
-alliance/doc/design-flow/mips.jpg
-alliance/doc/design-flow/place-route-ocpr.gif
-alliance/doc/design-flow/place-route-ring.gif
-alliance/doc/design-flow/place-route-s2r.gif
-alliance/doc/design-flow/place-route-valid.gif
-alliance/doc/design-flow/rtl-synth-dp.gif
-alliance/doc/design-flow/rtl-synth-fmi.gif
-alliance/doc/design-flow/rtl-synth-genlib.gif
-alliance/doc/design-flow/rtl-synth-logic.gif
-alliance/doc/design-flow/tools.html
-alliance/doc/design-flow/xfsm.gif
-alliance/doc/design-flow/xpat.gif
-alliance/doc/design-flow/xsch.gif
 alliance/doc/html/alliance/attila.html
 alliance/doc/html/alliance/genlib.html
 alliance/doc/html/alliance/man_attila.html
@@ -1057,20 +1307,6 @@ alliance/doc/html/alliance/nero.html
 alliance/doc/html/alliance/ref_attila.html
 alliance/doc/html/alliance/ref_genlib.html
 alliance/doc/html/alliance/ref_nero.html
-alliance/doc/overview/Makefile
-alliance/doc/overview/datapath.gif
-alliance/doc/overview/genview.gif
-alliance/doc/overview/graal.gif
-alliance/doc/overview/na3dp.ps
-alliance/doc/overview/na3y.ps
-alliance/doc/overview/nmx2_dp.ps
-alliance/doc/overview/nmx2_y.ps
-alliance/doc/overview/overview.blg
-alliance/doc/overview/overview.pdf
-alliance/doc/overview/overview.tex
-alliance/doc/overview/stacs.gif
-alliance/doc/overview/thesis.bib
-alliance/doc/overview/tools.fig
 alliance/doc/pdf/attila.pdf
 alliance/doc/pdf/genlib.pdf
 alliance/doc/pdf/nero.pdf
@@ -1082,374 +1318,365 @@ alliance/etc/cmos.rds
 alliance/etc/profile.d/alc_env.csh
 alliance/etc/profile.d/alc_env.sh
 alliance/etc/prol.elp
+alliance/etc/scn6m_deep_09.rds
 alliance/etc/se_defaults.mac
 alliance/etc/spimodel.cfg
 alliance/etc/sxlib.scapin
+alliance/etc/symbolic.rds
 alliance/etc/xfsm.par
 alliance/etc/xgra.par
 alliance/etc/xpat.par
 alliance/etc/xsch.par
 alliance/etc/xvpn.par
-alliance/examples/alliance-examples/Makefile
-alliance/examples/alliance-examples/addaccu16/Makefile
-alliance/examples/alliance-examples/addaccu16/README
-alliance/examples/alliance-examples/addaccu16/addaccu.ioc
-alliance/examples/alliance-examples/addaccu16/addaccu.pat
-alliance/examples/alliance-examples/addaccu16/addaccu.vhdl
-alliance/examples/alliance-examples/adder4/Makefile
-alliance/examples/alliance-examples/adder4/README
-alliance/examples/alliance-examples/adder4/adder4.ioc
-alliance/examples/alliance-examples/adder4/adder4.pat
-alliance/examples/alliance-examples/adder4/adder4.vhdl
-alliance/examples/alliance-examples/amd2901-vasy/Makefile
-alliance/examples/alliance-examples/amd2901-vasy/amd2901.ioc
-alliance/examples/alliance-examples/amd2901-vasy/amd2901.pat
-alliance/examples/alliance-examples/amd2901-vasy/amd2901.vhdl
-alliance/examples/alliance-examples/amd2901/Makefile
-alliance/examples/alliance-examples/amd2901/amd2901_chip.c
-alliance/examples/alliance-examples/amd2901/amd2901_chip.rin
-alliance/examples/alliance-examples/amd2901/amd2901_core.c
-alliance/examples/alliance-examples/amd2901/amd2901_core.ioc
-alliance/examples/alliance-examples/amd2901/amd2901_ctl.lax
-alliance/examples/alliance-examples/amd2901/amd2901_ctl.vbe
-alliance/examples/alliance-examples/amd2901/amd2901_dpt.c
-alliance/examples/alliance-examples/amd2901/amd2901_dpt.vbe
-alliance/examples/alliance-examples/amd2901/pattern.c
-alliance/examples/alliance-examples/amd2901/pattern.pat
-alliance/examples/alliance-examples/amd2901/pattern_core.spi
-alliance/examples/alliance-examples/digi/Makefile
-alliance/examples/alliance-examples/digi/digi.fsm
-alliance/examples/alliance-examples/digi/digi.ioc
-alliance/examples/alliance-examples/digi/digi.pat
-alliance/examples/alliance-examples/divcas4/CATAL_ASIMUT_VASY
-alliance/examples/alliance-examples/divcas4/Makefile
-alliance/examples/alliance-examples/divcas4/README
-alliance/examples/alliance-examples/divcas4/cas.lax
-alliance/examples/alliance-examples/divcas4/cas.vhdl
-alliance/examples/alliance-examples/divcas4/divcas4.ioc
-alliance/examples/alliance-examples/divcas4/divcas4.pat
-alliance/examples/alliance-examples/divcas4/divcas4.vhdl
-alliance/examples/alliance-examples/divcas4/divcas4_model.lax
-alliance/examples/alliance-examples/%%ETCDIR%%-env.mk
-alliance/examples/alliance-examples/etc/techno-035.rds
-alliance/examples/alliance-examples/etc/techno-symb.rds
-alliance/examples/alliance-examples/go-all-clean.sh
-alliance/examples/alliance-examples/go-all.sh
-alliance/examples/alliance-examples/hadamard/CATAL_ASIMUT_VASY
-alliance/examples/alliance-examples/hadamard/Makefile
-alliance/examples/alliance-examples/hadamard/calcul.vhdl
-alliance/examples/alliance-examples/hadamard/compteur.vhdl
-alliance/examples/alliance-examples/hadamard/hadamard.ioc
-alliance/examples/alliance-examples/hadamard/hadamard.vhdl
-alliance/examples/alliance-examples/hadamard/hadamard_1.pat
-alliance/examples/alliance-examples/hadamard/hadamard_2.pat
-alliance/examples/alliance-examples/hadamard/hadamard_3.pat
-alliance/examples/alliance-examples/hadamard/ram.vhdl
-alliance/examples/alliance-examples/hadamard/rom.vhdl
-alliance/examples/alliance-examples/hadamard/sequenceur.vhdl
-alliance/examples/alliance-examples/mipsR3000/Makefile
-alliance/examples/alliance-examples/mipsR3000/asm/CATAL
-alliance/examples/alliance-examples/mipsR3000/asm/CATAL_VBE
-alliance/examples/alliance-examples/mipsR3000/asm/CATAL_VBE_DPT
-alliance/examples/alliance-examples/mipsR3000/asm/CATAL_VST_FSM
-alliance/examples/alliance-examples/mipsR3000/asm/CATAL_VST_FSM_STS
-alliance/examples/alliance-examples/mipsR3000/asm/CATAL_VST_FSM_STS_DPT
-alliance/examples/alliance-examples/mipsR3000/asm/CATAL_VST_STS
-alliance/examples/alliance-examples/mipsR3000/asm/Makefile_alu
-alliance/examples/alliance-examples/mipsR3000/asm/Makefile_bm
-alliance/examples/alliance-examples/mipsR3000/asm/Makefile_excp
-alliance/examples/alliance-examples/mipsR3000/asm/Makefile_int
-alliance/examples/alliance-examples/mipsR3000/asm/Makefile_misc
-alliance/examples/alliance-examples/mipsR3000/asm/add000.pat
-alliance/examples/alliance-examples/mipsR3000/asm/add000.u
-alliance/examples/alliance-examples/mipsR3000/asm/add001.u
-alliance/examples/alliance-examples/mipsR3000/asm/add002.u
-alliance/examples/alliance-examples/mipsR3000/asm/add003.u
-alliance/examples/alliance-examples/mipsR3000/asm/add004.u
-alliance/examples/alliance-examples/mipsR3000/asm/add005.u
-alliance/examples/alliance-examples/mipsR3000/asm/addu000.u
-alliance/examples/alliance-examples/mipsR3000/asm/addu001.u
-alliance/examples/alliance-examples/mipsR3000/asm/addu002.u
-alliance/examples/alliance-examples/mipsR3000/asm/addu003.u
-alliance/examples/alliance-examples/mipsR3000/asm/and000.u
-alliance/examples/alliance-examples/mipsR3000/asm/and001.u
-alliance/examples/alliance-examples/mipsR3000/asm/beq000.u
-alliance/examples/alliance-examples/mipsR3000/asm/beq001.u
-alliance/examples/alliance-examples/mipsR3000/asm/bgez000.u
-alliance/examples/alliance-examples/mipsR3000/asm/bgez001.u
-alliance/examples/alliance-examples/mipsR3000/asm/bgezal000.u
-alliance/examples/alliance-examples/mipsR3000/asm/bgtz000.u
-alliance/examples/alliance-examples/mipsR3000/asm/blez000.u
-alliance/examples/alliance-examples/mipsR3000/asm/bltz000.u
-alliance/examples/alliance-examples/mipsR3000/asm/bltzal000.u
-alliance/examples/alliance-examples/mipsR3000/asm/bne000.u
-alliance/examples/alliance-examples/mipsR3000/asm/bne001.u
-alliance/examples/alliance-examples/mipsR3000/asm/break_00.e
-alliance/examples/alliance-examples/mipsR3000/asm/break_00.u
-alliance/examples/alliance-examples/mipsR3000/asm/exc000.e
-alliance/examples/alliance-examples/mipsR3000/asm/exc000.u
-alliance/examples/alliance-examples/mipsR3000/asm/exc001.e
-alliance/examples/alliance-examples/mipsR3000/asm/exc001.u
-alliance/examples/alliance-examples/mipsR3000/asm/exc002.e
-alliance/examples/alliance-examples/mipsR3000/asm/exc002.u
-alliance/examples/alliance-examples/mipsR3000/asm/exc003.e
-alliance/examples/alliance-examples/mipsR3000/asm/exc003.u
-alliance/examples/alliance-examples/mipsR3000/asm/exc004.e
-alliance/examples/alliance-examples/mipsR3000/asm/exc004.u
-alliance/examples/alliance-examples/mipsR3000/asm/exc005.e
-alliance/examples/alliance-examples/mipsR3000/asm/exc005.u
-alliance/examples/alliance-examples/mipsR3000/asm/exc006.e
-alliance/examples/alliance-examples/mipsR3000/asm/exc006.u
-alliance/examples/alliance-examples/mipsR3000/asm/exc007.e
-alliance/examples/alliance-examples/mipsR3000/asm/exc007.u
-alliance/examples/alliance-examples/mipsR3000/asm/exc008.e
-alliance/examples/alliance-examples/mipsR3000/asm/exc008.u
-alliance/examples/alliance-examples/mipsR3000/asm/exc009.e
-alliance/examples/alliance-examples/mipsR3000/asm/exc009.u
-alliance/examples/alliance-examples/mipsR3000/asm/exc010.e
-alliance/examples/alliance-examples/mipsR3000/asm/exc010.u
-alliance/examples/alliance-examples/mipsR3000/asm/exc011.e
-alliance/examples/alliance-examples/mipsR3000/asm/exc011.u
-alliance/examples/alliance-examples/mipsR3000/asm/exc012.e
-alliance/examples/alliance-examples/mipsR3000/asm/exc012.u
-alliance/examples/alliance-examples/mipsR3000/asm/exc013.e
-alliance/examples/alliance-examples/mipsR3000/asm/exc013.u
-alliance/examples/alliance-examples/mipsR3000/asm/exc014.e
-alliance/examples/alliance-examples/mipsR3000/asm/exc014.u
-alliance/examples/alliance-examples/mipsR3000/asm/exc015.e
-alliance/examples/alliance-examples/mipsR3000/asm/exc015.u
-alliance/examples/alliance-examples/mipsR3000/asm/exc016.e
-alliance/examples/alliance-examples/mipsR3000/asm/exc016.u
-alliance/examples/alliance-examples/mipsR3000/asm/exc017.e
-alliance/examples/alliance-examples/mipsR3000/asm/exc017.u
-alliance/examples/alliance-examples/mipsR3000/asm/exc018.e
-alliance/examples/alliance-examples/mipsR3000/asm/exc018.u
-alliance/examples/alliance-examples/mipsR3000/asm/exc019.e
-alliance/examples/alliance-examples/mipsR3000/asm/exc019.u
-alliance/examples/alliance-examples/mipsR3000/asm/exc020.e
-alliance/examples/alliance-examples/mipsR3000/asm/exc020.u
-alliance/examples/alliance-examples/mipsR3000/asm/exc021.e
-alliance/examples/alliance-examples/mipsR3000/asm/exc021.u
-alliance/examples/alliance-examples/mipsR3000/asm/exc022.e
-alliance/examples/alliance-examples/mipsR3000/asm/exc022.u
-alliance/examples/alliance-examples/mipsR3000/asm/exc023.e
-alliance/examples/alliance-examples/mipsR3000/asm/exc023.u
-alliance/examples/alliance-examples/mipsR3000/asm/exc024.e
-alliance/examples/alliance-examples/mipsR3000/asm/exc024.u
-alliance/examples/alliance-examples/mipsR3000/asm/foo.vbe
-alliance/examples/alliance-examples/mipsR3000/asm/go-all.sh
-alliance/examples/alliance-examples/mipsR3000/asm/go-bench.sh
-alliance/examples/alliance-examples/mipsR3000/asm/it000.e
-alliance/examples/alliance-examples/mipsR3000/asm/it000.u
-alliance/examples/alliance-examples/mipsR3000/asm/it001.e
-alliance/examples/alliance-examples/mipsR3000/asm/it001.u
-alliance/examples/alliance-examples/mipsR3000/asm/it002.e
-alliance/examples/alliance-examples/mipsR3000/asm/it002.u
-alliance/examples/alliance-examples/mipsR3000/asm/it003.e
-alliance/examples/alliance-examples/mipsR3000/asm/it003.u
-alliance/examples/alliance-examples/mipsR3000/asm/it004.e
-alliance/examples/alliance-examples/mipsR3000/asm/it004.u
-alliance/examples/alliance-examples/mipsR3000/asm/it005.e
-alliance/examples/alliance-examples/mipsR3000/asm/it005.u
-alliance/examples/alliance-examples/mipsR3000/asm/it006.e
-alliance/examples/alliance-examples/mipsR3000/asm/it006.u
-alliance/examples/alliance-examples/mipsR3000/asm/jal000.u
-alliance/examples/alliance-examples/mipsR3000/asm/jal001.u
-alliance/examples/alliance-examples/mipsR3000/asm/jalr000.u
-alliance/examples/alliance-examples/mipsR3000/asm/jalr001.u
-alliance/examples/alliance-examples/mipsR3000/asm/jr000.u
-alliance/examples/alliance-examples/mipsR3000/asm/jr001.u
-alliance/examples/alliance-examples/mipsR3000/asm/lhi000.u
-alliance/examples/alliance-examples/mipsR3000/asm/lhi001.u
-alliance/examples/alliance-examples/mipsR3000/asm/lhi2000.u
-alliance/examples/alliance-examples/mipsR3000/asm/lhi2001.u
-alliance/examples/alliance-examples/mipsR3000/asm/lsb000.u
-alliance/examples/alliance-examples/mipsR3000/asm/lsb001.u
-alliance/examples/alliance-examples/mipsR3000/asm/lsb002.u
-alliance/examples/alliance-examples/mipsR3000/asm/lsb003.u
-alliance/examples/alliance-examples/mipsR3000/asm/lsb004.u
-alliance/examples/alliance-examples/mipsR3000/asm/lsb005.u
-alliance/examples/alliance-examples/mipsR3000/asm/lsb006.u
-alliance/examples/alliance-examples/mipsR3000/asm/lsb007.u
-alliance/examples/alliance-examples/mipsR3000/asm/lsbu000.u
-alliance/examples/alliance-examples/mipsR3000/asm/lsbu001.u
-alliance/examples/alliance-examples/mipsR3000/asm/lsbu002.u
-alliance/examples/alliance-examples/mipsR3000/asm/lsbu003.u
-alliance/examples/alliance-examples/mipsR3000/asm/lsh000.u
-alliance/examples/alliance-examples/mipsR3000/asm/lsh001.u
-alliance/examples/alliance-examples/mipsR3000/asm/lsh002.u
-alliance/examples/alliance-examples/mipsR3000/asm/lsh003.u
-alliance/examples/alliance-examples/mipsR3000/asm/lshu000.u
-alliance/examples/alliance-examples/mipsR3000/asm/lshu001.u
-alliance/examples/alliance-examples/mipsR3000/asm/lsw000.u
-alliance/examples/alliance-examples/mipsR3000/asm/lsw001.u
-alliance/examples/alliance-examples/mipsR3000/asm/mftc0_00.e
-alliance/examples/alliance-examples/mipsR3000/asm/mftc0_00.u
-alliance/examples/alliance-examples/mipsR3000/asm/mfthi_00.e
-alliance/examples/alliance-examples/mipsR3000/asm/mfthi_00.u
-alliance/examples/alliance-examples/mipsR3000/asm/mftlo_00.e
-alliance/examples/alliance-examples/mipsR3000/asm/mftlo_00.u
-alliance/examples/alliance-examples/mipsR3000/asm/mips_defs.h
-alliance/examples/alliance-examples/mipsR3000/asm/nor000.u
-alliance/examples/alliance-examples/mipsR3000/asm/or000.u
-alliance/examples/alliance-examples/mipsR3000/asm/or001.u
-alliance/examples/alliance-examples/mipsR3000/asm/or002.u
-alliance/examples/alliance-examples/mipsR3000/asm/reg000.u
-alliance/examples/alliance-examples/mipsR3000/asm/res_test
-alliance/examples/alliance-examples/mipsR3000/asm/rome.u
-alliance/examples/alliance-examples/mipsR3000/asm/rome.vbe
-alliance/examples/alliance-examples/mipsR3000/asm/romr.e
-alliance/examples/alliance-examples/mipsR3000/asm/roms-orig.vbe
-alliance/examples/alliance-examples/mipsR3000/asm/romu.vbe
-alliance/examples/alliance-examples/mipsR3000/asm/sle000.u
-alliance/examples/alliance-examples/mipsR3000/asm/sle001.u
-alliance/examples/alliance-examples/mipsR3000/asm/sle002.u
-alliance/examples/alliance-examples/mipsR3000/asm/sle003.u
-alliance/examples/alliance-examples/mipsR3000/asm/sle004.u
-alliance/examples/alliance-examples/mipsR3000/asm/sle005.u
-alliance/examples/alliance-examples/mipsR3000/asm/sle006.u
-alliance/examples/alliance-examples/mipsR3000/asm/sle007.u
-alliance/examples/alliance-examples/mipsR3000/asm/sll000.u
-alliance/examples/alliance-examples/mipsR3000/asm/sll001.u
-alliance/examples/alliance-examples/mipsR3000/asm/sltiu000.u
-alliance/examples/alliance-examples/mipsR3000/asm/sltiu001.u
-alliance/examples/alliance-examples/mipsR3000/asm/sltiu002.u
-alliance/examples/alliance-examples/mipsR3000/asm/sltiu003.u
-alliance/examples/alliance-examples/mipsR3000/asm/sltiu004.u
-alliance/examples/alliance-examples/mipsR3000/asm/sltu000.u
-alliance/examples/alliance-examples/mipsR3000/asm/sltu001.u
-alliance/examples/alliance-examples/mipsR3000/asm/sltu002.u
-alliance/examples/alliance-examples/mipsR3000/asm/sltu003.u
-alliance/examples/alliance-examples/mipsR3000/asm/sltu004.u
-alliance/examples/alliance-examples/mipsR3000/asm/sra000.u
-alliance/examples/alliance-examples/mipsR3000/asm/sra001.u
-alliance/examples/alliance-examples/mipsR3000/asm/srl000.u
-alliance/examples/alliance-examples/mipsR3000/asm/srl001.u
-alliance/examples/alliance-examples/mipsR3000/asm/sub000.u
-alliance/examples/alliance-examples/mipsR3000/asm/sub001.u
-alliance/examples/alliance-examples/mipsR3000/asm/syscall_00.e
-alliance/examples/alliance-examples/mipsR3000/asm/syscall_00.u
-alliance/examples/alliance-examples/mipsR3000/asm/xor000.u
-alliance/examples/alliance-examples/mipsR3000/asm/xor001.u
-alliance/examples/alliance-examples/mipsR3000/asm/xor002.u
-alliance/examples/alliance-examples/mipsR3000/sce/CATAL_CTL
-alliance/examples/alliance-examples/mipsR3000/sce/CATAL_VBE
-alliance/examples/alliance-examples/mipsR3000/sce/CATAL_VST
-alliance/examples/alliance-examples/mipsR3000/sce/Makefile
-alliance/examples/alliance-examples/mipsR3000/sce/local-cmos-035.rds
-alliance/examples/alliance-examples/mipsR3000/sce/local-cmos.graal
-alliance/examples/alliance-examples/mipsR3000/sce/local-cmos.rds
-alliance/examples/alliance-examples/mipsR3000/sce/mips_chip.rin
-alliance/examples/alliance-examples/mipsR3000/sce/mips_chip.vst
-alliance/examples/alliance-examples/mipsR3000/sce/mips_core.c
-alliance/examples/alliance-examples/mipsR3000/sce/mips_core.ioc
-alliance/examples/alliance-examples/mipsR3000/sce/mips_core.vst
-alliance/examples/alliance-examples/mipsR3000/sce/mips_cpu-orig.pat
-alliance/examples/alliance-examples/mipsR3000/sce/mips_cpu.pat
-alliance/examples/alliance-examples/mipsR3000/sce/mips_cpu.vst
-alliance/examples/alliance-examples/mipsR3000/sce/mips_ctl.lax
-alliance/examples/alliance-examples/mipsR3000/sce/mips_ctl.path
-alliance/examples/alliance-examples/mipsR3000/sce/mips_ctl.scapin
-alliance/examples/alliance-examples/mipsR3000/sce/mips_ctl_nt.vst
-alliance/examples/alliance-examples/mipsR3000/sce/mips_dec.vbe
-alliance/examples/alliance-examples/mipsR3000/sce/mips_dpt.c
-alliance/examples/alliance-examples/mipsR3000/sce/mips_dpt.vbe
-alliance/examples/alliance-examples/mipsR3000/sce/mips_scan.c
-alliance/examples/alliance-examples/mipsR3000/sce/mips_scan.pat
-alliance/examples/alliance-examples/mipsR3000/sce/mips_seq.fsm
-alliance/examples/alliance-examples/mipsR3000/sce/mips_sts.vbe
-alliance/examples/alliance-examples/mipsR3000/sce/res_vst.pat
-alliance/examples/alliance-examples/mipsR3000/sce/rome.vbe
-alliance/examples/alliance-examples/mipsR3000/sce/romr.vbe
-alliance/examples/alliance-examples/mipsR3000/sce/roms.vbe
-alliance/examples/alliance-examples/mipsR3000/sce/romu.vbe
-alliance/examples/alliance-examples/mipsR3000/sce/sr64_1a.vbe
-alliance/examples/alliance-examples/mipsR3000/sce/sr64_32a.vst
-alliance/examples/alliance-examples/mipsR3000/sce/sr64_8a.vst
-alliance/examples/alliance-examples/mipsR3000/sce/timer.vbe
-alliance/examples/alliance-examples/multi16b-reg/Makefile
-alliance/examples/alliance-examples/multi16b-reg/multi16.ioc
-alliance/examples/alliance-examples/multi16b-reg/multi16.lax
-alliance/examples/alliance-examples/multi16b-reg/multi16.pat
-alliance/examples/alliance-examples/multi16b-reg/multi16.vhdl
-alliance/examples/alliance-examples/multi4b/Makefile
-alliance/examples/alliance-examples/multi4b/README
-alliance/examples/alliance-examples/multi4b/multi4.ioc
-alliance/examples/alliance-examples/multi4b/multi4.pat
-alliance/examples/alliance-examples/multi4b/multi4.vhdl
-alliance/examples/alliance-examples/multi8/CATAL_ASIMUT_VASY
-alliance/examples/alliance-examples/multi8/Makefile
-alliance/examples/alliance-examples/multi8/README
-alliance/examples/alliance-examples/multi8/addaccu.vhdl
-alliance/examples/alliance-examples/multi8/controller.vhdl
-alliance/examples/alliance-examples/multi8/multi8.ioc
-alliance/examples/alliance-examples/multi8/multi8.pat
-alliance/examples/alliance-examples/multi8/multi8.vhdl
-alliance/examples/alliance-examples/multi8/sra.vhdl
-alliance/examples/alliance-examples/multi8/srb.vhdl
-alliance/examples/alliance-examples/multi8b/Makefile
-alliance/examples/alliance-examples/multi8b/README
-alliance/examples/alliance-examples/multi8b/multi8.ioc
-alliance/examples/alliance-examples/multi8b/multi8.lax
-alliance/examples/alliance-examples/multi8b/multi8.pat
-alliance/examples/alliance-examples/multi8b/multi8.vhdl
-alliance/examples/alliance-examples/pgcd/CATAL_ASIMUT_VASY
-alliance/examples/alliance-examples/pgcd/Makefile
-alliance/examples/alliance-examples/pgcd/README
-alliance/examples/alliance-examples/pgcd/calcul.vhdl
-alliance/examples/alliance-examples/pgcd/pgcd.ioc
-alliance/examples/alliance-examples/pgcd/pgcd.pat
-alliance/examples/alliance-examples/pgcd/pgcd.vhdl
-alliance/examples/alliance-examples/pgcd/sequenceur.vhdl
-alliance/examples/alliance-examples/sqrt32/CATAL_ASIMUT_VASY
-alliance/examples/alliance-examples/sqrt32/Makefile
-alliance/examples/alliance-examples/sqrt32/README
-alliance/examples/alliance-examples/sqrt32/s0.vhdl
-alliance/examples/alliance-examples/sqrt32/s0b.vhdl
-alliance/examples/alliance-examples/sqrt32/s1.vhdl
-alliance/examples/alliance-examples/sqrt32/s1b.vhdl
-alliance/examples/alliance-examples/sqrt32/sb.vhdl
-alliance/examples/alliance-examples/sqrt32/sm.vhdl
-alliance/examples/alliance-examples/sqrt32/sn.vhdl
-alliance/examples/alliance-examples/sqrt32/sqrt32.ioc
-alliance/examples/alliance-examples/sqrt32/sqrt32.pat
-alliance/examples/alliance-examples/sqrt32/sqrt32.vhdl
-alliance/examples/alliance-examples/sqrt8/CATAL_ASIMUT_VASY
-alliance/examples/alliance-examples/sqrt8/Makefile
-alliance/examples/alliance-examples/sqrt8/README
-alliance/examples/alliance-examples/sqrt8/sm.vhdl
-alliance/examples/alliance-examples/sqrt8/sqrt8.ioc
-alliance/examples/alliance-examples/sqrt8/sqrt8.pat
-alliance/examples/alliance-examples/sqrt8/sqrt8.vhdl
-alliance/examples/alliance-examples/tuner/README
-alliance/examples/alliance-examples/tuner/build_tuner
-alliance/examples/alliance-examples/tuner/circuit.c
-alliance/examples/alliance-examples/tuner/core.c
-alliance/examples/alliance-examples/tuner/fake05.dreal
-alliance/examples/alliance-examples/tuner/fake05.rds
-alliance/examples/alliance-examples/tuner/padreal.cif
-alliance/examples/alliance-examples/tuner/padreal.gds
-alliance/examples/alliance-examples/tuner/tuner-fr.pdf
-alliance/examples/alliance-examples/tuner/tuner.ioc
-alliance/examples/alliance-examples/tuner/tuner.rin
-alliance/examples/alliance-examples/tuner/tuner.vbe
-alliance/examples/alliance-examples/tuner/tuner_io.c
-alliance/examples/alliance-run/Makefile
-alliance/examples/alliance-run/README
-alliance/examples/alliance-run/amd2901_chip.c
-alliance/examples/alliance-run/amd2901_chip.rin
-alliance/examples/alliance-run/amd2901_core.c
-alliance/examples/alliance-run/amd2901_core.ioc
-alliance/examples/alliance-run/amd2901_ctl.lax
-alliance/examples/alliance-run/amd2901_ctl.vbe
-alliance/examples/alliance-run/amd2901_dpt.c
-alliance/examples/alliance-run/bench.sh
-alliance/examples/alliance-run/pattern.c
-alliance/examples/regression.sh
+%%PORTEXAMPLES%%alliance/examples/Makefile
+%%PORTEXAMPLES%%alliance/examples/addaccu16/Makefile
+%%PORTEXAMPLES%%alliance/examples/addaccu16/README
+%%PORTEXAMPLES%%alliance/examples/addaccu16/addaccu.ioc
+%%PORTEXAMPLES%%alliance/examples/addaccu16/addaccu.pat
+%%PORTEXAMPLES%%alliance/examples/addaccu16/addaccu.vhdl
+%%PORTEXAMPLES%%alliance/examples/adder4/Makefile
+%%PORTEXAMPLES%%alliance/examples/adder4/README
+%%PORTEXAMPLES%%alliance/examples/adder4/adder4.ioc
+%%PORTEXAMPLES%%alliance/examples/adder4/adder4.pat
+%%PORTEXAMPLES%%alliance/examples/adder4/adder4.vhdl
+%%PORTEXAMPLES%%alliance/examples/amd2901-vasy/Makefile
+%%PORTEXAMPLES%%alliance/examples/amd2901-vasy/amd2901.ioc
+%%PORTEXAMPLES%%alliance/examples/amd2901-vasy/amd2901.pat
+%%PORTEXAMPLES%%alliance/examples/amd2901-vasy/amd2901.vhdl
+%%PORTEXAMPLES%%alliance/examples/amd2901/Makefile
+%%PORTEXAMPLES%%alliance/examples/amd2901/amd2901_chip.c
+%%PORTEXAMPLES%%alliance/examples/amd2901/amd2901_chip.rin
+%%PORTEXAMPLES%%alliance/examples/amd2901/amd2901_core.c
+%%PORTEXAMPLES%%alliance/examples/amd2901/amd2901_core.ioc
+%%PORTEXAMPLES%%alliance/examples/amd2901/amd2901_ctl.lax
+%%PORTEXAMPLES%%alliance/examples/amd2901/amd2901_ctl.vbe
+%%PORTEXAMPLES%%alliance/examples/amd2901/amd2901_dpt.c
+%%PORTEXAMPLES%%alliance/examples/amd2901/amd2901_dpt.vbe
+%%PORTEXAMPLES%%alliance/examples/amd2901/pattern.c
+%%PORTEXAMPLES%%alliance/examples/amd2901/pattern.pat
+%%PORTEXAMPLES%%alliance/examples/amd2901/pattern_core.spi
+%%PORTEXAMPLES%%alliance/examples/digi/Makefile
+%%PORTEXAMPLES%%alliance/examples/digi/digi.fsm
+%%PORTEXAMPLES%%alliance/examples/digi/digi.ioc
+%%PORTEXAMPLES%%alliance/examples/digi/digi.pat
+%%PORTEXAMPLES%%alliance/examples/divcas4/CATAL_ASIMUT_VASY
+%%PORTEXAMPLES%%alliance/examples/divcas4/Makefile
+%%PORTEXAMPLES%%alliance/examples/divcas4/README
+%%PORTEXAMPLES%%alliance/examples/divcas4/cas.lax
+%%PORTEXAMPLES%%alliance/examples/divcas4/cas.vhdl
+%%PORTEXAMPLES%%alliance/examples/divcas4/divcas4.ioc
+%%PORTEXAMPLES%%alliance/examples/divcas4/divcas4.pat
+%%PORTEXAMPLES%%alliance/examples/divcas4/divcas4.vhdl
+%%PORTEXAMPLES%%alliance/examples/divcas4/divcas4_model.lax
+%%PORTEXAMPLES%%alliance/examples/%%ETCDIR%%-env.mk
+%%PORTEXAMPLES%%alliance/examples/etc/techno-035.rds
+%%PORTEXAMPLES%%alliance/examples/etc/techno-symb.rds
+%%PORTEXAMPLES%%alliance/examples/go-all-clean.sh
+%%PORTEXAMPLES%%alliance/examples/go-all.sh
+%%PORTEXAMPLES%%alliance/examples/hadamard/CATAL_ASIMUT_VASY
+%%PORTEXAMPLES%%alliance/examples/hadamard/Makefile
+%%PORTEXAMPLES%%alliance/examples/hadamard/calcul.vhdl
+%%PORTEXAMPLES%%alliance/examples/hadamard/compteur.vhdl
+%%PORTEXAMPLES%%alliance/examples/hadamard/hadamard.ioc
+%%PORTEXAMPLES%%alliance/examples/hadamard/hadamard.vhdl
+%%PORTEXAMPLES%%alliance/examples/hadamard/hadamard_1.pat
+%%PORTEXAMPLES%%alliance/examples/hadamard/hadamard_2.pat
+%%PORTEXAMPLES%%alliance/examples/hadamard/hadamard_3.pat
+%%PORTEXAMPLES%%alliance/examples/hadamard/ram.vhdl
+%%PORTEXAMPLES%%alliance/examples/hadamard/rom.vhdl
+%%PORTEXAMPLES%%alliance/examples/hadamard/sequenceur.vhdl
+%%PORTEXAMPLES%%alliance/examples/mipsR3000/Makefile
+%%PORTEXAMPLES%%alliance/examples/mipsR3000/asm/CATAL
+%%PORTEXAMPLES%%alliance/examples/mipsR3000/asm/CATAL_VBE
+%%PORTEXAMPLES%%alliance/examples/mipsR3000/asm/CATAL_VBE_DPT
+%%PORTEXAMPLES%%alliance/examples/mipsR3000/asm/CATAL_VST_FSM
+%%PORTEXAMPLES%%alliance/examples/mipsR3000/asm/CATAL_VST_FSM_STS
+%%PORTEXAMPLES%%alliance/examples/mipsR3000/asm/CATAL_VST_FSM_STS_DPT
+%%PORTEXAMPLES%%alliance/examples/mipsR3000/asm/CATAL_VST_STS
+%%PORTEXAMPLES%%alliance/examples/mipsR3000/asm/Makefile_alu
+%%PORTEXAMPLES%%alliance/examples/mipsR3000/asm/Makefile_bm
+%%PORTEXAMPLES%%alliance/examples/mipsR3000/asm/Makefile_excp
+%%PORTEXAMPLES%%alliance/examples/mipsR3000/asm/Makefile_int
+%%PORTEXAMPLES%%alliance/examples/mipsR3000/asm/Makefile_misc
+%%PORTEXAMPLES%%alliance/examples/mipsR3000/asm/add000.pat
*** 704 LINES SKIPPED ***