Add support for dependencies to Main driver - Githubissues

Whiley / WhileyCompiler

The Whiley Compiler (WyC)

http://whiley.org

Apache License 2.0

217 stars 36 forks source link

Add support for dependencies to Main driver #1117

Closed DavePearce closed 2 years ago

DavePearce commented 2 years ago

This should allow an argument of the form "--modulepath=xx.zip;yy.zip"