ci: add sftest.json

Authored-By: Krzysztof Boronski <kboronski@internships.antmicro.com>
Signed-off-by: Unai Martinez-Corral <umartinezcorral@antmicro.com>

.github/sftest.json

@@ -0,0 +1,43 @@
+{
+    "default_platform": "xc7a50t",
+    "values": {
+        "top": "top"
+    },
+    "dependencies": {
+        "sources": [
+            "counter.v"
+        ],
+        "synth_log": "synth.log",
+        "pack_log": "pack.log"
+    },
+    "xc7a200t": {
+        "default_target": "bitstream",
+        "dependencies": {
+            "xdc": [
+                "arty200.xdc"
+            ],
+            "build_dir": "build/arty_200"
+        }
+    },
+    "xc7a100t": {
+        "default_target": "bitstream",
+        "dependencies": {
+            "xdc": [
+                "arty.xdc"
+            ],
+            "build_dir": "build/arty100"
+        }
+    },
+    "xc7a50t": {
+        "default_target": "bitstream",
+        "dependencies": {
+            "build_dir": "build/arty_35",
+            "xdc": [
+                "arty.xdc"
+            ]
+        },
+        "values": {
+            "part": "xc7a35tcpg236-1"
+        }
+    }
+}

.github/workflows/pyF4PGA.yml

@@ -28,4 +28,4 @@ jobs:
       - name: Test py4FPGA build
         run: |
           make env
-          PYTHONPATH=$(pwd)/f4pga python3 f4pga/sfbuild.py build --platform xc7a50t -t bitstream
+          PYTHONPATH=$(pwd)/f4pga python3 f4pga/sfbuild.py build --flow .github/sftest.json -t bitstream