From 64c21ed1fc7f857ba31c5b1a89098167bcc190bb Mon Sep 17 00:00:00 2001
From: ENGO150 <v.smejkal06@gmail.com>
Date: Sun, 18 Feb 2024 12:47:46 +0100
Subject: [PATCH] added why2-project job

---
 .gitlab-ci.yml | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index e015fa6..d369534 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -64,4 +64,17 @@ why2-logger-test:
     - make test_logger # Build WHY2 Test
     - ./$LOGGER_OUTPUT # Test Lib
     - $LOGGER_APP # Test App
-    - $VALGRIND $LOGGER_OUTPUT # Test Lib by Valgrind
\ No newline at end of file
+    - $VALGRIND $LOGGER_OUTPUT # Test Lib by Valgrind
+
+why2-project:
+  stage: build
+  image: rust:latest
+  script:
+    - apt update # Update repos
+    - apt install sudo lsb-release -y # Install needed stuff
+    - chmod +x configure.sh # Permissions
+    - sudo ./configure.sh # Preparation
+    - make install BYPASS_CHECK=true # Install WHY2
+    - curl -Lo test.c https://gist.github.com/ENGO150/d8419b6c31ffb68ebb930a5b41af8c73/raw # Download WHY2 test project
+    - cc test.c -lwhy2 -Wall -o test # Build WHY2 project
+    - ./test # Run Test
\ No newline at end of file