diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 5d0b7c6..a7da781 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -16,6 +16,6 @@ jobs: - name: Configure sac2c run: cp -r /root/.sac2crc $HOME/.sac2crc - name: Setup CMake - run: cmake -DTARGETS="seq;mt_pth" -B build + run: cmake -DTARGETS="seq;seq_checks;mt_pth" -B build - name: Build run: cmake --build build diff --git a/Makefile b/Makefile index 619f79e..ad92d6b 100644 --- a/Makefile +++ b/Makefile @@ -1,7 +1,5 @@ SAC2C ?= sac2c -# Uniqueness violation bug in seq_checks -#TARGETS ?= "seq;seq_checks;mt_pth" -TARGETS ?= "seq;mt_pth" +TARGETS ?= "seq;seq_checks;mt_pth" BUILD_DIR ?= build .PHONY: all build examples clean