search

VeriFIT / mata

A fast and simple automata library
MIT License
23 stars 13 forks source link

Simplify build commands with modern cmake options #362

Closed Adda0 closed 1 year ago

Adda0 commented 1 year ago

This PR simplifies Makefile with modern CMake command line options.

mkdir -p $(BUILD_DIR) does not need to be called since cmake -B $(BUILD_DIR) creates the directory by itself if the directory is missing.

Target release-debuginfo is added which is a release build with debug information, useful for profiling, debugging, etc.

codecov[bot] commented 1 year ago

Codecov Report

All modified lines are covered by tests :white_check_mark:

Comparison is base (b7bc4a0) 71.68% compared to head (6782265) 71.68%. Report is 1 commits behind head on devel.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## devel #362 +/- ## ======================================= Coverage 71.68% 71.68% ======================================= Files 30 30 Lines 3617 3617 Branches 830 830 ======================================= Hits 2593 2593 Misses 735 735 Partials 289 289 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

Adda0 commented 1 year ago

I addressed the suggestions. I will merge the PR once the tests pass.