Added FPBench binary workflow

Author: parthrdesai

.github/workflows/fpbench.yml

@@ -0,0 +1,48 @@
+name: Build FPBench Binary (Linux Only)
+
+on:
+  workflow_dispatch
+
+jobs:
+  build-fpbench:
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout Odyssey repo
+        uses: actions/checkout@v4
+
+      - name: Install MPFR dependency
+        run: sudo apt-get install -y libmpfr6 libmpfr-dev
+
+      - name: Install Racket
+        uses: Bogdanp/[email protected]
+        with:
+          version: 8.15
+
+      - name: Clone FPBench
+        run: |
+          git clone https://github.com/FPBench/FPBench.git
+          cd FPBench
+          make setup
+
+      - name: Package FPBench Tools
+        run: |
+          mkdir -p fpbench-dist/linux/fpbench-compiled
+          cp -r FPBench/* fpbench-dist/linux/fpbench-compiled/
+
+      - name: Zip the build
+        run: |
+          cd fpbench-dist
+          zip -r ../fpbench-dist.zip *
+
+      - name: Create GitHub Release
+        uses: softprops/action-gh-release@v1
+        with:
+          tag_name: fpbench-component
+          name: "FPBench Binary (Linux)"
+          body: "Automated release of FPBench binaries for Linux."
+          draft: false
+          prerelease: false
+          files: fpbench-dist.zip
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

.github/workflows/fptaylor.yml

@@ -37,29 +37,13 @@ jobs:
           
       - name: Install latest Rust
         uses: dtolnay/rust-toolchain@stable
-      
 
-      - name: Install GAOL (dependency for Gelpia)
-        run: |
-          git clone https://github.com/soarlab/gaol.git
-          sudo cp -r gaol /usr/include/
-
-      - name: Clone Gelpia
+      - name: Clone and build Gelpia
         run: |
           git clone https://github.com/soarlab/gelpia.git
           cd gelpia
           git checkout develop
-      
-      - name: Install Gelpia dependencies manually
-        run: |
-          sudo apt update
-          sudo apt install -y flex bison wget libmpfr-dev
-          pip install sly
-      
-          # Make sure Rust is installed beforehand via setup-rust step
-      
-          cd gelpia
-          mkdir -p bin
+          make requirements
           make
 
       - name: Build FPTaylor