maude-lang / Maude

Language based on Rewriting Logic
GNU General Public License v2.0
78 stars 10 forks source link

WIP: Replace Autotools build system with an equivalent CMake build system. #10

Open rljacobson opened 1 year ago

rljacobson commented 1 year ago

This is a major change that I do not expect to be accepted anytime soon, if ever. Still, I wanted to share it with you in case you have any interest.

The Autotools-based build system has been completely removed and replaced with an approximately equivalent CMake-based build system. With CMake, it is possible to use a variety of backends, including make, Ninja, and XCode, among others. The original Autotools generated make-based build takes ~25s on my 10-core (8 performance + 2 efficiency) M1 MacBook with make -j8. The CMake generated Ninja build takes ~15s with the same settings, a 40% improvement.

There are code paths in the build system I have not exercised, and some that, as far as I know, I am unable to exercise. I have not yet ported the install target.

This PR includes the following changes.

This is a work in progress. If you give it a try and find issues, let me know.