From 0b27b0ece40f9e45067d35ff864cae364dd1ae87 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christoph=20Kl=C3=B6ffel?=
 <145490354+christophkloeffel@users.noreply.github.com>
Date: Fri, 19 Apr 2024 12:03:19 +0200
Subject: [PATCH] splits dependencies into prod and dev (#80)

---
 .github/workflows/ci.yml   | 2 +-
 .github/workflows/docs.yml | 2 +-
 requirements.txt           | 4 ----
 requirements_dev.txt       | 5 +++++
 4 files changed, 7 insertions(+), 6 deletions(-)
 create mode 100644 requirements_dev.txt

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 07019d09..62cefef1 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -63,7 +63,7 @@ jobs:
       - name: Install dependencies
         run: |
           python -m pip install --upgrade pip
-          python -m pip install -r requirements.txt
+          python -m pip install -r requirements_dev.txt
       - name: Install gnu make on macos
         if: startsWith(matrix.os, 'macos')
         run: |
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index f1e2f01d..d0a4b5eb 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -44,7 +44,7 @@ jobs:
       - name: Install dependencies
         run: |
           python -m pip install --upgrade pip
-          pip install -r requirements.txt
+          pip install -r requirements_dev.txt
           pip install bmw-lobster-core bmw-lobster-tool-python
           pip install --no-deps bmw-lobster-tool-trlc
           sudo apt-get install -y graphviz
diff --git a/requirements.txt b/requirements.txt
index 55def475..b4b45cef 100644
--- a/requirements.txt
+++ b/requirements.txt
@@ -1,6 +1,2 @@
-pycodestyle>=2.10
-pylint>=2.17
-coverage>=7.2
-sphinx>=7.0
 pyvcg==1.0.6
 cvc5>=1.1.1; sys.platform == "linux" or sys.platform == "darwin"
diff --git a/requirements_dev.txt b/requirements_dev.txt
new file mode 100644
index 00000000..5a9dc642
--- /dev/null
+++ b/requirements_dev.txt
@@ -0,0 +1,5 @@
+-r requirements.txt
+pycodestyle>=2.10
+pylint>=2.17
+coverage>=7.2
+sphinx>=7.0