lmntal / slim

slim LMNtal implementation
Other
18 stars 5 forks source link

Add CMake support #310

Open QRWells opened 1 year ago

QRWells commented 1 year ago

Motivation

slim is currently using Autotools as the build tool, but it's difficult to maintain the existing m4 scripts and configure.ac file. Therefore, switching to a different build tool becomes considerable, and one possible option is CMake. Here is some advantages comparing CMake and Autotools:

Current Progress