Test #25


	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: Install python packages
	run: python -m pip install Jinja2 make pytest
	- name: Install requirements for Verrou
	run: sudo apt-get -qq update; sudo apt-get install -y libc-dbg
	- name: Install requirements for building
	run: sudo apt-get install -y build-essential g++ gcc autoconf automake
	- name: Install requirements for verificarlo
	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 .. -DTEST_PENE=ON
	make
	ctest -C Debug --output-o-failure

Provide feedback