build-linux.sh

#!/usr/bin/env bash
# Build script for SimplifierLinux on Linux x86-64
# Requirements: Rust toolchain, CMake >= 3.16, C++20-capable compiler (GCC 11+ or Clang 13+), .NET 8 SDK

set -euo pipefail

SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
cd "$SCRIPT_DIR"

# ── 1. Build C++ native libraries (Mba.FFI and Espresso) with CMake ──────────
# Must run before Rust so libMba.FFI.so exists in native/ when the linker runs.
echo "==> Building native C++ libraries (CMake)..."
rm -rf native/build
mkdir -p native/build
cmake -S . -B native/build -DCMAKE_BUILD_TYPE=Release
cmake --build native/build --parallel "$(nproc)"
# Produces: native/libMba.FFI.so and native/libEspresso.so

# ── 2. Build Rust EqSat shared library ───────────────────────────────────────
echo "==> Building EqSat (Rust)..."
(cd EqSat && cargo build --release)
# Produces: EqSat/target/release/libeq_sat.so

# ── 3. Build and publish the .NET application ─────────────────────────────────
echo "==> Building .NET application..."
dotnet publish Simplifier/Simplifier.csproj \
    --configuration Release \
    --output publish/

echo ""
echo "Build complete. Run the application with:"
echo "  ./publish/Simplifier \"<expression>\""
echo ""
echo "Example:"
echo "  ./publish/Simplifier \"(x & y) + (x | y)\""