@@ -6,8 +6,8 @@ skipsdist = true
6
6
[base]
7
7
setenv =
8
8
{abc,demo,soname,tests}: CFLAGS ={env:CFLAGS:-march =native -O2 -g -DNDEBUG}
9
- {abc,demo,soname,tests}: CXXFLAGS ={env:CFLAGS :-march =native -O2 -g -DNDEBUG}
10
- {abc,demo,soname,tests}: LDFLAGS ={env:CFLAGS :-march =native -O2 -g -DNDEBUG -Wl,-O1 -Wl,--as-needed }
9
+ {abc,demo,soname,tests}: CXXFLAGS ={env:CXXFLAGS :-march =native -O2 -g -DNDEBUG}
10
+ {abc,demo,soname,tests}: LDFLAGS ={env:LDFLAGS :-march =native -O2 -g -DNDEBUG}
11
11
{base,build,clang,ctest}: ABC_USE_NAMESPACE ={env:ABC_USE_NAMESPACE:xxxx}
12
12
{base,build,clang,ctest}: ABC_USE_SONAME ={env:ABC_USE_SONAME:ON}
13
13
{base,build,clang,ctest}: ABC_USE_PIC ={env:ABC_USE_PIC:ON}
@@ -51,7 +51,7 @@ allowlist_externals =
51
51
{abc,demo,soname,tests,clean}: make
52
52
53
53
changedir =
54
- {build,clang}: build
54
+ {base, build,clang}: {toxinidir}/ build
55
55
56
56
deps =
57
57
{abc,demo,soname,tests,lint,base,build,clang,ctest,grind,ctestwin}: pip>=21.3
@@ -60,10 +60,10 @@ deps =
60
60
{base,build,clang,ctest,grind,ctestwin}: ninja
61
61
lint: cpplint
62
62
grind: ValgrindCI
63
- lcov : lcov_cobertura
63
+ clang : lcov_cobertura
64
64
65
65
commands_pre =
66
- {build,clang}: cmake -E make_directory {toxinidir}/build
66
+ {base, build,clang}: cmake -E make_directory {toxinidir}/build
67
67
68
68
commands =
69
69
abc: make -j4 ABC_USE_PIC =1 {posargs} abc
@@ -76,16 +76,15 @@ commands =
76
76
demo: bash -c ' $CXX -o demo demo.o libabc.a -lm -ldl -lreadline -lpthread'
77
77
demo: bash -c ' ./demo i10.aig'
78
78
{abc,soname,tests}: bash -c ' ls -lh *abc* demo || true'
79
- base: bash -c ' cmake -G {posargs:"Ninja"} -DABC_USE_NAMESPACE=$ABC_USE_NAMESPACE -DCMAKE_INSTALL_PREFIX=$PREFIX -S . -B build '
80
- base: cmake -j $(nproc) --build build --target install
79
+ base: bash -c ' cmake -G {posargs:"Ninja"} -DABC_USE_NAMESPACE=$ABC_USE_NAMESPACE -DCMAKE_INSTALL_PREFIX=$PREFIX .. '
80
+ base: bash -c ' cmake --build . --target install -j $(nproc) '
81
81
build: bash -c ' cmake -G {posargs:"Unix Makefiles"} -DCMAKE_BUILD_TYPE=$BUILD_TYPE -DABC_USE_NAMESPACE=$ABC_USE_NAMESPACE -DABC_ENABLE_LTO=ON -DBUILD_SHARED_LIBS=ON -DABC_USE_SONAME=$ABC_USE_SONAME -DCMAKE_INSTALL_PREFIX=$PREFIX ..'
82
82
clang: bash -c ' cmake -G {posargs:"Unix Makefiles"} -DCMAKE_BUILD_TYPE=$BUILD_TYPE -DABC_USE_NAMESPACE=$ABC_USE_NAMESPACE -DCOVERAGE_BUILD=ON -DBUILD_SHARED_LIBS=OFF ..'
83
83
{build}: bash -c ' cmake --build . -j $(nproc)'
84
84
{clang}: bash -c ' cmake --build . --target coverage -j $(nproc)'
85
- {build}: bash -c ' ctest -V -C $BUILD_TYPE --test-dir ./'
86
- {clang}: bash -c ' ctest -V -C $BUILD_TYPE --test-dir ./'
87
- lcov: lcov_cobertura build/coverage/lcov.info --base-dir {toxinidir}/src --output coverage.xml
88
- build: cmake --build . --target install
85
+ {build,clang}: bash -c ' ctest -V -C $BUILD_TYPE --test-dir ./'
86
+ clang: lcov_cobertura build/coverage/lcov.info --base-dir {toxinidir}/src --output coverage.xml
87
+ {base,build}: cmake --build . --target install
89
88
{base,build}: bash -c ' find $PREFIX/ -type f -name \* abc\* -o -name demo | xargs ls -lh'
90
89
ctest: bash -c ' ctest -j $(nproc) --build-generator {posargs:"Ninja"} --build-and-test . build --build-options -DABC_USE_NAMESPACE=$ABC_USE_NAMESPACE -DABC_SKIP_EXE=ON -DCMAKE_BUILD_TYPE=$BUILD_TYPE --test-command ctest --rerun-failed --output-on-failure -V'
91
90
ctestwin: ctest --build-generator {posargs:" Visual Studio 16 2019" } --build-and-test . build --build-options -DBUILD_SHARED_LIBS =ON -DABC_USE_NO_PTHREADS =ON -DABC_USE_NO_READLINE =ON -DCMAKE_BUILD_TYPE ={env:BUILD_TYPE} --test-command ctest --rerun-failed --output-on-failure -V
0 commit comments