From 00351e0c4bfa5fc3cfa75e1bdf50130d7005473a Mon Sep 17 00:00:00 2001
From: retropikzel <retropikzel@iki.fi>
Date: Thu, 11 Dec 2025 10:36:24 +0200
Subject: [PATCH] Also build .deb package

---
 Jenkinsfile | 7 +++++++
 Makefile    | 2 +-
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 6971cf8..c6011bf 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -57,5 +57,12 @@ pipeline {
                 }
             }
         }
+
+        stage('.deb package') {
+            steps {
+                sh "make deb"
+                archiveArtifacts artifacts: '*.deb', allowEmptyArchive: true, fingerprint: true, onlyIfSuccessful: true
+            }
+        }
     }
 }
diff --git a/Makefile b/Makefile
index 209346d..33df427 100644
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,7 @@
 .SILENT: test-r6rs test-r6rs-docker test-r7rs test-r7rs-docker
 PREFIX=/usr/local
 SCHEME=chibi
-VERSION=1.0.0
+VERSION=1.1.0
 R6RSTMP=.tmp/${SCHEME}-r6rs
 R7RSTMP=.tmp/${SCHEME}-r7rs
 DOCKERTAG=compile-scheme-test-${SCHEME}