Test #18


	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

Provide feedback