search

cpitclaudel / z3.wasm

WASM builds of the Z3 SMT solver
MIT License
141 stars 9 forks source link

Feature Request: NPM Package management support #1

Open arizvisa opened 6 years ago

arizvisa commented 6 years ago

Adding an index.js that exports some of your funcs from demo.js and a package.json will expose this to the whole javascript community. This'll get you a whole ton more users and thus better support anyways.

(You could probably use viz-js from https://github.com/mdaines/viz.js as a framework, as it's essentially the same thing but for building a different target).

cpitclaudel commented 6 years ago

Adding an index.js that exports some of your funcs from demo.js and a package.json will expose this to the whole javascript community

Indeed, that would be great. I just haven't had time (and proper experience with JS packaging would help, too.

Help welcome :)

arizvisa commented 6 years ago

Since you're using node.js which typically comes with npm, I'm pretty sure all you really need to do is run npm init.

Just keep in mind that you're exposing your project to a bunch of js devers :-p, so if you never wanted a career in maintaining software, then good luck with that. ;-)

sim642 commented 6 years ago

@arizvisa I've created a similar project but I've published it on npm also: https://www.npmjs.com/package/z3em.