tox.ini

[tox]
envlist = py3{7,8,9,10,11}-build
skip_missing_interpreters = true
skipsdist = true

[base]
setenv =
    CPUS={env:CPUS:4}
    {abc,demo,soname,tests}: CFLAGS={env:CFLAGS:-march=native -O2 -g -DNDEBUG}
    {abc,demo,soname,tests}: CXXFLAGS={env:CXXFLAGS:-march=native -O2 -g -DNDEBUG}
    {abc,demo,soname,tests}: LDFLAGS={env:LDFLAGS:-march=native -O2 -g -DNDEBUG}
    {base,build,clang,ctest}: ABC_USE_NAMESPACE={env:ABC_USE_NAMESPACE:xxxx}
    {base,build,clang,ctest}: ABC_USE_SONAME={env:ABC_USE_SONAME:ON}
    {base,build,clang,ctest}: ABC_USE_PIC={env:ABC_USE_PIC:ON}
    BUILD_TYPE={env:BUILD_TYPE:Release}
    base: PREFIX={env:PREFIX:staging}
    build: PREFIX={env:PREFIX:../staging}

passenv =
    CC
    CXX
    LD
    AR
    NM
    PYTHON
    DISPLAY
    XAUTHORITY
    HOME
    USERNAME
    USER
    CI
    XDG_*
    GITHUB*
    PIP_DOWNLOAD_CACHE

[testenv]
envdir = {toxinidir}/.env
skip_install = true

setenv =
    {abc,tests}: {[base]setenv}
    {base,build,clang,ctest,ctestwin}: {[base]setenv}

passenv =
    {[base]passenv}

allowlist_externals =
    {abc,demo,soname,tests,lint,base,build,clang,ctest,grind,unbuild}: bash
    {abc,demo,soname,tests,clean}: make

changedir =
    {base,build,clang}: {toxinidir}/build

deps =
    {abc,demo,soname,tests,lint,base,build,clang,ctest,grind,ctestwin}: pip>=21.3
    {abc,demo,soname,tests}: this-cli
    {base,build,clang,ctest,grind,ctestwin}: cmake
    {base,build,clang,ctest,grind,ctestwin}: ninja
    lint: cpplint
    grind: ValgrindCI
    clang: lcov_cobertura

commands_pre =
    {base,build,clang}: cmake -E make_directory {toxinidir}/build

commands =
    abc: make -j{env:CPUS} ABC_USE_PIC=1 {posargs} abc
    abc: make -j{env:CPUS} {posargs} libabc.a
    soname: make -j{env:CPUS} ABC_USE_PIC=1 ABC_USE_SONAME=1 {posargs} lib
    tests: make test
    # demo requires CC, CXX set in environment or on cmd line
    # eg:  CC=gcc CXX=g++ tox -e demo
    demo: bash -c '$CC {posargs} -Wall -c src/demo.c -o demo.o'
    demo: bash -c '$CXX -o demo demo.o libabc.a -lm -ldl -lreadline -lpthread'
    demo: bash -c './demo i10.aig'
    {abc,soname,tests}: bash -c 'ls -lh *abc* demo || true'
    base: cmake -G {posargs:"Ninja"} -DABC_USE_NAMESPACE=$ABC_USE_NAMESPACE -DCMAKE_INSTALL_PREFIX={env:PREFIX} ..
    base: cmake --build . --target install -j {env:CPUS}
    build: cmake -G {posargs:"Unix Makefiles"} -DCMAKE_BUILD_TYPE={env:BUILD_TYPE} -DABC_USE_NAMESPACE={env:ABC_USE_NAMESPACE} -DABC_ENABLE_LTO=ON -DBUILD_SHARED_LIBS=ON -DABC_USE_SONAME={env:ABC_USE_SONAME} -DCMAKE_INSTALL_PREFIX={env:PREFIX} ..
    clang: cmake -G {posargs:"Unix Makefiles"} -DCMAKE_BUILD_TYPE={env:BUILD_TYPE} -DABC_USE_NAMESPACE={env:ABC_USE_NAMESPACE} -DCOVERAGE_BUILD=ON -DBUILD_SHARED_LIBS=OFF ..
    {build}: cmake --build . -j {env:CPUS}
    {clang}: cmake --build . --target coverage -j {env:CPUS}
    {build,clang}: ctest -V -C {env:BUILD_TYPE} --test-dir ./
    clang: lcov_cobertura build/coverage/lcov.info --base-dir {toxinidir}/src --output coverage.xml
    {base,build}: cmake --build . --target install
    {base,build}: bash -c 'find $PREFIX/ -type f -name \*abc\* -o -name demo | xargs ls -lh'
    ctest: ctest -j {env:CPUS} --build-generator {posargs:"Ninja"} --build-and-test . build --build-options -DABC_USE_NAMESPACE={env:ABC_USE_NAMESPACE} -DABC_SKIP_EXE=ON -DCMAKE_BUILD_TYPE={env:BUILD_TYPE} --test-command ctest --rerun-failed --output-on-failure -V
    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
    ctest: bash -c 'ls -lh build/base_test build/libabc.* || true'
    lint: bash -c 'cpplint --output=gsed {toxinidir}/src/base/main/* {toxinidir}/lib/*'
    grind: bash -c 'cmake -G {posargs:"Ninja"} -S . -B build -DCMAKE_BUILD_TYPE=Debug'
    grind: bash -c 'cmake --build build --target abc -j $CPUS'
    grind: bash -c 'valgrind --tool=memcheck --xml=yes --xml-file=abc_check.xml --leak-check=full --show-leak-kinds=definite,possible --error-exitcode=127 ./build/src/base/main/abc "-c" "r i10.aig; b; ps; b; rw -l; rw -lz; b; rw -lz; b; ps; cec"'
    grind: valgrind-ci abc_check.xml --number-of-errors
    grind: valgrind-ci abc_check.xml --summary
    unbuild: bash -c 'rm -rf build/ *.xml *.blif *.profraw'
    clean: make clean