metanorma / metanorma-docker

Docker container for running the Metanorma toolchain
https://www.metanorma.com
5 stars 3 forks source link

Added cmake to container #138

Closed maxirmx closed 2 years ago

maxirmx commented 2 years ago

Metanorma PR checklist

maxirmx commented 2 years ago

@CAMOBAP One more one-line fix. It shall make Ubuntu builds work when libemf2svg build is required

ronaldtse commented 2 years ago

Thank you @maxirmx ! All passing and merging now.