Comments (8)
You can test locally, ./conda-env.sh build <path to your meta file>
then once that works you do the Travis thing until green.
from conda-eda.
Hmm, now that I finally have docker locally working and compiling things, it seems that in building formal/symbiyosys, z3 and boolector are also built anyway. So obsoleting this issue.
from conda-eda.
@RobertBaruch I'm actually going to reopen this as z3
and boolector
probably should be their own packages.
from conda-eda.
I'll take a shot at this.
from conda-eda.
I haven't been able to figure out how to compile z3 on windows. It's possible, but relies on a Python script from z3: python mk_make.py
, which creates the appropriate makefiles for your OS. The problem is that the script relies on os.name
to detect the OS, and it always comes up as nt
, which is Windows, which generates a makefile for nmake
, which I can't figure out how to install using conda.
Apparently the script could theoretically detect Mingw, but I don't know how to get python to run under conda while also reporting os.name
as posix
.
from conda-eda.
The alternative is just to download the built z3 windows version -- after all, why build z3 if it's already built -- but I have no idea how to conda, so I also have no idea how to just repackage a release for conda.
from conda-eda.
Welp, I have some conda files that Travis seems to feel compiles z3 for OSX, Linux, and Windows. Unfortunately I ended up having to pin the release at 4.8.7 because there doesn't seem to be an easy way to compile for Windows. So instead it compiles for OSX and Linux, and just downloads the built version from github for Windows.
Will work on boolector now.
from conda-eda.
Was able to get z3 compiling under Windows, so we can compile z3 from head. Still working on boolector for Windows.
from conda-eda.
Related Issues (20)
- add package for dffram HOT 1
- Klayout doesn't support hotkeys in this build HOT 5
- Klayout should only build release versions only not main HOT 2
- add osx-arm64 variant of the packages HOT 1
- run downstream tests for reverse dependencies
- GDS factory integration HOT 2
- package gdsfactory HOT 1
- klayout graphics card issue on linux HOT 4
- SKY130 klayout -e not loading PDK layers. HOT 4
- test klayout macosx packages HOT 1
- refresh patches for failing packages HOT 1
- uhdm-yosys is missing `memory_libmap` command HOT 6
- Magic package is not getting uploaded even after release of latest revision HOT 3
- build failure for most packages HOT 13
- macsox failure blocking linux package publication
- Document how to use conda-eda HOT 3
- open_pdks.sky130a package needs to be updated to latest version HOT 6
- fix xls package build failure
- fix openroad build failure
- fix open_pdks.gf180mcuc build failure
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from conda-eda.