ci.yml

name: CI ADAPTER

on:
  push:
    branches: main
  pull_request:
    branches: [ "main" ]



jobs:
  Linux:
    runs-on: ubuntu-latest
    steps:
        - name: using the Checkout action
          uses: actions/checkout@v2
        - name: Get latest CMake
          uses: lukka/get-cmake@latest
        - name: Installing Jinja2
          run: python -m pip install Jinja2
        - name: Installing pytest
          run: python -m pip install pytest
        - name: Installing make
          run: python -m pip install make
        - name: apt
          run: sudo apt-get -qq update; sudo apt-get install -y libc-dbg python3-numpy python3-matplotlib texlive-latex-extra texlive-fonts-recommended dvipng cm-super
        - name: Install the requirements for building
          run: sudo apt-get install -y build-essential g++ autoconf automake
        - name: Install LLVM, clang and opt libtool
          run: sudo apt install clang lldb lld llvm opt libtool libmpfr-dev parallel
        - name: Install Verificarlo
          run: |
            git clone https://github.com/verificarlo/verificarlo.git
            cd verificarlo
            ./autogen.sh
            ./configure --without-flang
            sudo make
            sudo make install
        - name: clone PENE 
          run: |
            cd pene_files
            git clone https://github.com/aneoconsulting/PENE.git   
        - name: runing cmake for Verificarlo and PENE tools (Linux) 
          run: |
            mkdir build
            cd build
            cmake .. -DBUILD_FOR_PENE=ON -DBUILD_FOR_VERIFICARLO=ON
        - name: Building (Linux)
          run : |
            cd build
            cmake --build .
        - name: Testing (Linux)
          run : |
            cd Test
            mkdir build
            cd build
            cmake ..
            make 
            ctest -C Debug --output-o-failure