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

taking external ALLIANCE_TOP

This commit is contained in:
Christophe Alexandre 2003-12-01 13:07:11 +00:00
parent 056fd4261f
commit d38381db49
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
alliance/src/documentation/alliance-run/Makefile
View File

@ -1,4 +1,3 @@
ALLIANCE_TOP = /asim/alliance
TECHNO_REAL = prol10
@ -90,8 +89,7 @@
PROOF = $(MBK_EXTRACT_ENV); $(ALLIANCE_BIN)/proof
GENLIB = $(MBK_GENERAT_ENV);$(ALLIANCE_BIN)/genlib
GENPAT = $(MBK_GENERAT_ENV); $(ALLIANCE_BIN)/genpat
# OCP = $(MBK_GENERAT_ENV); $(ALLIANCE_BIN)/ocp
OCP = $(MBK_GENERAT_ENV); /users/cao/xtof/alliance/Linux/install/bin/ocp
OCP = $(MBK_GENERAT_ENV); $(ALLIANCE_BIN)/ocp
NERO = $(MBK_GENERAT_ENV); $(ALLIANCE_BIN)/nero
RING = $(MBK_GENERAT_ENV); $(ALLIANCE_BIN)/ring
GRAAL = $(MBK_GENERAT_ENV); $(ALLIANCE_BIN)/graal