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

Get further in alliance tests

This commit is contained in:
Las Safin 2021-09-03 12:29:44 +00:00
parent 5c7b2fdc28
commit 658db5ab58
No known key found for this signature in database
GPG Key ID: E7FA928911B61ED6
4 changed files with 13 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
nix/alliance-check-toolkit.nix
View File

@ -1,7 +1,12 @@
{ alliance-src, ... }:
{ stdenv, coriolis-unicorn, alliance, yosys }:
stdenv.mkDerivation {
{ stdenv, coriolis-unicorn, coriolis-crlcore, python2Packages, alliance, yosys }:
let
env = python2Packages.python.buildEnv.override {
extraLibs = [ coriolis-unicorn ];
};
in stdenv.mkDerivation {
pname = "alliance-check-toolkit";
version = builtins.substring 0 8 alliance-src.lastModifiedDate;
src = alliance-src;

1
nix/crlcore.nix
View File

@ -9,6 +9,7 @@ let pkg =
nativeBuildInputs = [ bison flex doxygen python2Packages.pyqt4 ];
postInstall = ''
ln -s crlcore/helpers $out/${python2Packages.python.sitePackages}/helpers
ln -s -t $out/${python2Packages.python.sitePackages} $out/etc/coriolis2/*
# for import check
mkdir -p /build/coriolistop/etc/coriolis2

6
nix/unicorn.nix
View File

@ -1,8 +1,8 @@
{ generic, ... }:
let pkg =
{ coriolis-vlsisapd, coriolis-hurricane
, coriolis-crlcore, qt4, coriolis-katana
{ coriolis-vlsisapd, coriolis-hurricane, coriolis-tutorial
, coriolis-crlcore, qt4, coriolis-katana, coriolis-bora
, coriolis-flute, coriolis-anabatic, coriolis-coloquinte
, coriolis-lefdef, coriolis-knik, coriolis-kite
, coriolis-katabatic, coriolis-etesian, coriolis-equinox
@ -16,7 +16,7 @@ let pkg =
coriolis-katana qt4 coriolis-flute coriolis-anabatic
coriolis-lefdef libxml2 coriolis-knik coriolis-kite
coriolis-katabatic coriolis-etesian coriolis-equinox
coriolis-solstice
coriolis-solstice coriolis-bora coriolis-tutorial
];
nativeBuildInputs = [ doxygen python2Packages.wrapPython ];
pythonImportsCheck = [ "Unicorn" ];

2
unicorn/CMakeLists.txt
View File

@ -32,12 +32,14 @@
find_package(CORIOLIS REQUIRED)
find_package(ANABATIC REQUIRED)
find_package(KATANA REQUIRED)
#find_package(BORA REQUIRED) # FIXME: make FindBORA.cmake
find_package(ETESIAN REQUIRED)
find_package(KNIK REQUIRED)
find_package(KATABATIC REQUIRED)
find_package(KITE REQUIRED)
find_package(EQUINOX REQUIRED)
find_package(SOLSTICE REQUIRED)
#find_package(TUTORIAL REQUIRED) # FIXME: make FindTUTORIAL.cmake
find_package(Doxygen)
if(WITH_OPENMP)