Jt/limit opam jobs - Githubissues

draperlaboratory / cbat_tools

Program analysis tools developed at Draper on the CBAT project.

MIT License

101 stars 14 forks source link

Jt/limit opam jobs #372

Closed jtpaasch closed 1 year ago

jtpaasch commented 1 year ago

Dockerfile allows OPAM_JOBS build arg to limit opam from taking over your 'puter.
Installation documentation updated.
Developer API docs regenerated.

fortunac commented 1 year ago

Looks good! Merge at will.

jtpaasch commented 1 year ago

Okay, one more little thing Chloe. I removed that problematic opam install . line, so that we don't break for people running opam 2.1, and I added a BRANCH build-arg to the dockerfile so that one can build the docker container from a custom branch.

Sound okay to you?

fortunac commented 1 year ago

Okay, one more little thing Chloe. I removed that problematic opam install . line, so that we don't break for people running opam 2.1, and I added a BRANCH build-arg to the dockerfile so that one can build the docker container from a custom branch.

Sound okay to you?

Go for it!