cmake/xplatform builds using github/tox/conda workflows

.github/workflows/build-posix-cmake.yml

@@ -1,4 +1,6 @@
-on: [push]
+on:
+  workflow_dispatch:
+  push:
 
 jobs:
 
@@ -9,6 +11,9 @@ jobs:
         use_namespace: [false, true]
 
     runs-on: ${{ matrix.os }}
+    defaults:
+      run:
+        shell: bash
 
     env:
       CMAKE_ARGS: ${{ matrix.use_namespace && '-DABC_USE_NAMESPACE=xxx' || '' }}
@@ -20,7 +25,10 @@ jobs:
     - name: Git Checkout
       uses: actions/checkout@v2
       with:
-        submodules: recursive
+        fetch-depth: 0
+
+    - name: Update CMake
+      uses: jwlawson/[email protected]
 
     - name: Install brew dependencies
       run: |
@@ -33,16 +41,20 @@ jobs:
       if: ${{ !contains(matrix.os, 'macos') }}
 
     - name: Configure CMake
-      run: |
-        cmake -G Ninja -DCMAKE_BUILD_TYPE=Release ${CMAKE_ARGS} -B build
+      run: >
+        cmake -S . -B build
+        -G Ninja
+        ${CMAKE_ARGS}
+        -DCMAKE_BUILD_TYPE=Release
+        -DCMAKE_INSTALL_PREFIX=./staging
 
     - name: Build CMake
       run: |
         cmake --build build
 
     - name: Test Executable
       run: |
-        ./build/abc -c "r i10.aig; b; ps; b; rw -l; rw -lz; b; rw -lz; b; ps; cec"
+        ./build/src/base/main/abc -c "r i10.aig; b; ps; b; rw -l; rw -lz; b; rw -lz; b; ps; cec"
 
     - name: Test Library
       run: |
@@ -52,11 +64,10 @@ jobs:
 
     - name: Stage Executable
       run: |
-       mkdir staging
-       cp build/abc build/libabc.a staging/
+        cmake --build build --target install
 
-    - name: Upload pacakge artifact
+    - name: Upload package artifact
       uses: actions/upload-artifact@v1
       with:
-        name: package
+        name: package-${{ matrix.os }}-${{ matrix.use_namespace }}
         path: staging/

.github/workflows/build-posix.yml

@@ -1,4 +1,6 @@
-on: [push]
+on:
+  workflow_dispatch:
+  push:
 
 jobs:
 
@@ -29,12 +31,13 @@ jobs:
 
     - name: Install APT dependencies
       run: |
-        sudo apt install -y libreadline-dev
+        sudo apt-get -y -qq update
+        sudo apt-get install -y libreadline-dev
       if: ${{ !contains(matrix.os, 'macos') }}
 
     - name: Build Executable
       run: |
-        make -j3 ${MAKE_ARGS} abc
+        make -j3 ABC_USE_PIC=1 ${MAKE_ARGS} abc
 
     - name: Test Executable
       run: |
@@ -55,8 +58,8 @@ jobs:
        mkdir staging
        cp abc libabc.a staging/
 
-    - name: Upload pacakge artifact
+    - name: Upload package artifact
       uses: actions/upload-artifact@v1
       with:
-        name: package
+        name: package-${{ matrix.os }}-${{ matrix.use_namespace }}
         path: staging/

.github/workflows/build-windows.yml

@@ -1,4 +1,6 @@
-on: [push]
+on:
+  workflow_dispatch:
+  push:
 
 jobs:
 
@@ -41,7 +43,7 @@ jobs:
        copy _TEST/abc.exe staging/
        copy UpgradeLog.htm staging/
 
-    - name: Upload pacakge artifact
+    - name: Upload package artifact
       uses: actions/upload-artifact@v1
       with:
         name: package

.github/workflows/ci.yml

@@ -0,0 +1,165 @@
+name: ci
+
+on:
+  workflow_dispatch:
+  pull_request:
+  push:
+    branches:
+      - master
+      - develop
+    paths-ignore:
+      - '**.md'
+      - '**.rst'
+      - '**.sh'
+
+jobs:
+  build:
+    name: ${{ matrix.name }}
+    runs-on: ${{ matrix.os }}
+    defaults:
+      run:
+        shell: bash
+
+    strategy:
+      fail-fast: false
+      matrix:
+        python-version: ['3.10']
+
+        name: [
+          windows-2019-cl,
+          ubuntu-20.04-gcc,
+          ubuntu-20.04-clang,
+          ubuntu-22.04-clang,
+          macOS-11-gcc,
+          macOS-11-clang,
+        ]
+
+        include:
+          - name: windows-2019-cl
+            os: windows-2019
+            compiler: cl
+
+          - name: ubuntu-20.04-gcc
+            os: ubuntu-20.04
+            compiler: gcc
+            version: "11"
+            toxcmd: soname,tests
+
+          - name: ubuntu-20.04-clang
+            os: ubuntu-20.04
+            compiler: clang
+            version: "10"
+            toxcmd: clang
+
+          - name: ubuntu-22.04-clang
+            os: ubuntu-22.04
+            compiler: clang
+            version: "12"
+            toxcmd: build
+
+          - name: macOS-11-gcc
+            os: macOS-11
+            compiler: gcc
+            version: "11"
+            toxcmd: abc,tests
+
+          - name: macOS-11-clang
+            os: macOS-11
+            compiler: xcode
+            version: "12.4"
+            toxcmd: "base -- Xcode"
+
+    steps:
+    - uses: actions/checkout@v3
+      with:
+        fetch-depth: 0
+
+    - uses: actions/setup-python@v4
+      with:
+        python-version: ${{ matrix.python-version }}
+
+    - name: Update CMake
+      uses: jwlawson/actions-setup-cmake@v1
+      if: runner.os == 'Windows'
+
+    - name: Install Tox
+      run: |
+        python -m pip install --upgrade pip
+        pip install tox
+
+    - name:  Install and setup Linux packages
+      if: runner.os == 'Linux'
+      run: |
+        sudo apt-get -y -qq update
+        sudo apt-get install -y libreadline-dev ncurses-dev
+        if [ "${{ matrix.compiler }}" = gcc ]; then
+          sudo apt-get install -y g++-${{ matrix.version }} g++-${{ matrix.version }}-multilib
+          echo "CC=gcc-${{ matrix.version }}" >> $GITHUB_ENV
+          echo "CXX=g++-${{ matrix.version }}" >> $GITHUB_ENV
+        else
+          sudo apt-get install -y clang-${{ matrix.version }} llvm-${{ matrix.version }} lld-${{ matrix.version }} g++-multilib
+          echo "CC=clang-${{ matrix.version }}" >> $GITHUB_ENV
+          echo "CXX=clang++-${{ matrix.version }}" >> $GITHUB_ENV
+        fi
+
+    - name: Build and test Linux
+      if: runner.os == 'Linux'
+      env:
+        CC: ${{ env.CC }}
+        CXX: ${{ env.CXX }}
+        PREFIX: ../staging
+      run: |
+        tox -e ${{ matrix.toxcmd }}
+
+    - uses: actions/upload-artifact@v3
+      if: matrix.name == 'ubuntu-20.04-clang'
+      with:
+        name: src_coverage_data
+        path: |
+          build/coverage/html
+          build/coverage/lcov.info
+
+    - name:  Install and setup MacOS packages
+      if: runner.os == 'macOS'
+      run: |
+        if [ "${{ matrix.compiler }}" = gcc ]; then
+          brew install gcc@${{ matrix.version }}
+          echo "CC=gcc-${{ matrix.version }}" >> $GITHUB_ENV
+          echo "CXX=g++-${{ matrix.version }}" >> $GITHUB_ENV
+        else
+          ls -ls /Applications/
+          sudo xcode-select -switch /Applications/Xcode_${{ matrix.version }}.app
+        fi
+
+    - name: Build and test MacOS
+      if: runner.os == 'macOS'
+      run: |
+        if [ "${{ matrix.compiler }}" = gcc ]; then
+          CC=${{ env.CC }} CXX=${{ env.CXX }} tox -e ${{ matrix.toxcmd }}
+        else
+          tox -e ${{ matrix.toxcmd }}
+        fi
+
+    - name: Configure Windows
+      if: runner.os == 'Windows'
+      run: >
+        cmake -S . -B build
+        -DBUILD_SHARED_LIBS=ON
+        -DABC_USE_NO_PTHREADS=ON
+        -DABC_USE_NO_READLINE=ON
+        -DCMAKE_BUILD_TYPE=Release
+        -DCMAKE_INSTALL_PREFIX=${{ env.PREFIX }}
+      env:
+        CC: cl
+        CXX: cl
+        PREFIX: staging
+
+    - name: Build Windows
+      if: runner.os == 'Windows'
+      run: cmake --build build --config Release -j 2 --target install
+
+    - name: Test Windows
+      if: runner.os == 'Windows'
+      run: |
+        ctest -V -C Release --test-dir build/
+        ls -lh staging/ || true

.github/workflows/conda-dev.yml

@@ -0,0 +1,89 @@
+name: CondaDev
+
+on:
+  workflow_dispatch:
+  pull_request:
+  push:
+    branches:
+      - master
+      - develop
+
+jobs:
+  build:
+    name: abc ${{ matrix.python-version }} ${{ matrix.os }}
+    runs-on: ${{ matrix.os }}
+    strategy:
+      fail-fast: false
+      matrix:
+        os: ['ubuntu-22.04', 'ubuntu-20.04', 'macOS-11', 'windows-2019']
+        python-version: ['3.9']
+        use_namespace: [false, true]
+        include:
+          - os: 'ubuntu-22.04'
+            generator: 'Ninja'
+            build_type: 'Release'
+          - os: 'ubuntu-20.04'
+            generator: 'Ninja'
+            build_type: 'RelWithDebInfo'
+          - os: 'macOS-11'
+            generator: 'Ninja'
+            build_type: 'Release'
+          - os: 'windows-2019'
+            generator: 'Ninja'
+            build_type: 'Release'
+            extra_args: '-DABC_USE_NO_PTHREADS=ON -DABC_USE_NO_READLINE=ON'
+    env:
+      OS: ${{ matrix.os }}
+      PY_VER: ${{ matrix.python-version }}
+      PYTHONIOENCODING: utf-8
+      CMAKE_ARGS: ${{ matrix.use_namespace && '-DABC_USE_NAMESPACE=xxx' || '' }}
+
+    steps:
+    - uses: actions/checkout@v3
+
+    - name: Setup base python
+      uses: actions/setup-python@v4
+      with:
+        python-version: '3.x'
+
+    - name: Cache conda
+      id: cache
+      uses: actions/cache@v3
+      env:
+        # Increase this value to reset cache if environment.devenv.yml has not changed
+        CACHE_NUMBER: 2
+      with:
+        path: ~/conda_pkgs_dir
+        key: ${{ runner.os }}-conda-${{ env.CACHE_NUMBER }}-${{ hashFiles('environment.devenv.yml') }}
+
+    - uses: conda-incubator/setup-miniconda@v3
+      with:
+        auto-update-conda: true
+        auto-activate-base: true
+        activate-environment: ''
+        channels: conda-forge
+        channel-priority: flexible
+
+    - name: Configure condadev environment
+      shell: bash -l {0}
+      env:
+        PY_VER: ${{ matrix.python-version }}
+      run: |
+        conda config --set always_yes yes --set changeps1 no
+        conda install conda-devenv=3.2.0
+        conda info
+        conda list
+
+    - name: Build and test
+      shell: bash -l {0}
+      env:
+        PY_VER: ${{ matrix.python-version }}
+      run: |
+        conda devenv
+        conda activate abc
+        conda info --envs
+        ctest --build-generator "${{ matrix.generator }}" \
+          --build-and-test . build \
+          --build-options ${CMAKE_ARGS} ${{ matrix.extra_args }} \
+          -DBUILD_SHARED_LIBS=ON -DCMAKE_BUILD_TYPE=${{ matrix.build_type }} \
+          --test-command ctest --rerun-failed --output-on-failure -V