Use versioned output directories for PAKCS
Instead of .curry
and .curry/pakcs
, compile files into .curry/pakcs-x.y.z
where x.y.z
is the version.
See pakcs!10 (merged).
Edited by Fredrik Wieczerkowski
Instead of .curry
and .curry/pakcs
, compile files into .curry/pakcs-x.y.z
where x.y.z
is the version.
See pakcs!10 (merged).