pakcs issueshttps://git.ps.informatik.uni-kiel.de/curry/pakcs/-/issues2019-11-08T17:22:05Zhttps://git.ps.informatik.uni-kiel.de/curry/pakcs/-/issues/2make build parallelizable2019-11-08T17:22:05ZMike Gabriel mga@informatik.uni-kiel.demake build parallelizableCurrently, the build of pakcs fails when using -j4 as make option.Currently, the build of pakcs fails when using -j4 as make option.