search

mmcloughlin / ec3

Elliptic Curve Cryptography Compiler: an incomplete experiment in code-generation for elliptic curves in Go
BSD 3-Clause "New" or "Revised" License
56 stars 6 forks source link

build: static binary #104

Open mmcloughlin opened 4 years ago

mmcloughlin commented 4 years ago

The build currently dynamically links against z3 #99 but a static build would be preferable if this gets to the point of actual releases of the ec3 binary.

This seems to be somewhat non-trivial, at least if we wish to support many platforms: