ENGO150/WHY2
Template
1
1
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Activity

added why2-project job

Browse Source
This commit is contained in:
Václav Šmejkal 2024-02-18 12:47:46 +01:00
parent 02b04c7dc1
commit 64c21ed1fc
Signed by: ENGO150
GPG Key ID: 4A57E86482968843
1 changed files with 14 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
.gitlab-ci.yml
View File

@ -65,3 +65,16 @@ why2-logger-test:
- ./$LOGGER_OUTPUT # Test Lib - ./$LOGGER_OUTPUT # Test Lib
- $LOGGER_APP # Test App - $LOGGER_APP # Test App
- $VALGRIND $LOGGER_OUTPUT # Test Lib by Valgrind - $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