dune

(env
 (release (flags :standard -rectypes) (ocamlc_flags )
          (ocamlopt_flags :standard -O3 -unbox-closures))
 (dev     (flags :standard -rectypes)))

(dirs ("src" vendor))

(alias
 (name coq)
 (deps
  (package coq-core)
  (package coq-stdlib)))

(alias
 (name wacoq)
 (deps
  src/backend/icoq.bc
  src/backend/icoq.exe
  src/backend/dllcoqrun_stubs.wasm
  src/backend/dlllib_stubs.wasm
  cli.js))

(rule
 (target coq-pkgs)
 (deps
  cli.js
  src/build/metadata/coq-pkgs.json
  (package coq-stdlib))
 (action
  (run node ./cli.js --nostdlib src/build/metadata/coq-pkgs.json)))

(rule
 (target node_modules)
 (action
  (run ln -s ../../node_modules .)))

(rule
 (targets cli.js)
 (deps
  (source_tree src)
  node_modules
  tsconfig.json
  package.json
  webpack.config.js)
 (action
  (run npx --no-install webpack --mode production --env outDir=. --config-name cli)))