search

Whiley / WhileyCompiler

The Whiley Compiler (WyC)
http://whiley.org
Apache License 2.0
217 stars 36 forks source link

Support Linking Binaries #1126

Closed DavePearce closed 2 years ago

DavePearce commented 2 years ago

Currently, there is no obvious way to generate a single binary with all necessary resources linked together. It feels rather like we would want that.