diff --git a/.github/resources/prover/Makefile b/.github/resources/prover/Makefile
new file mode 100644
index 0000000..25f9bb7
--- /dev/null
+++ b/.github/resources/prover/Makefile
@@ -0,0 +1,118 @@
+###
+
+EXTRA_CMAKE_FLAGS ?=
+LIBGOMP_A := $(shell $(CXX) --print-file-name=libgomp.a)
+
+#Build targets
+# Add EXTRA_CMAKE_FLAGS
+host:
+	rm -rf build_prover && mkdir build_prover && cd build_prover && \
+	cmake .. \
+	    -DCMAKE_BUILD_TYPE=Release \
+	    -DCMAKE_INSTALL_PREFIX=../package \
+	    $(EXTRA_CMAKE_FLAGS) && \
+	make -j$(nproc) -vvv && make install
+
+host_linux_x86_64_static:
+	rm -rf build_prover && mkdir build_prover && cd build_prover && \
+	cmake .. \
+	    -DCMAKE_BUILD_TYPE=Release \
+	    -DCMAKE_INSTALL_PREFIX=../package \
+	    -DCMAKE_EXE_LINKER_FLAGS="-static -static-libstdc++ -static-libgcc -no-pie" \
+	    -DOpenMP_gomp_LIBRARY=$(LIBGOMP_A) \
+	    -DCMAKE_PREFIX_PATH=depends/gmp/package && \
+	make -j$(nproc) -vvv && make install
+
+host_windows_x86_64_static:
+	rm -rf build_prover && mkdir build_prover && cd build_prover && \
+	cmake .. \
+		-DUSE_ASM=OFF \
+		-DCMAKE_BUILD_TYPE=Release \
+    	-DCMAKE_INSTALL_PREFIX=../package \
+  		-DCMAKE_EXE_LINKER_FLAGS="-static -static-libstdc++ -static-libgcc -L/lib -lmman" \
+    	-DCMAKE_CXX_FLAGS="-I/include -include mman_patch.hpp -include cstdint -Duint=unsigned\ int -Du_int32_t=uint32_t -Du_int64_t=uint64_t" && \
+	make -j$(nproc) -vvv && make install
+
+host_noasm:
+	rm -rf build_prover_noasm && mkdir build_prover_noasm && cd build_prover_noasm && \
+		cmake .. -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=../package_noasm -DUSE_ASM=NO && \
+		make -j$(nproc) -vvv && make install
+
+host_arm64:
+	rm -rf build_prover_arm64 && mkdir build_prover_arm64 && cd build_prover_arm64 && \
+	cmake .. -DTARGET_PLATFORM=aarch64 -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=../package_arm64 && \
+	make -j$(nproc) -vvv && make install
+
+android:
+	rm -rf build_prover_android && mkdir build_prover_android && cd build_prover_android && \
+	cmake .. -DTARGET_PLATFORM=ANDROID -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=../package_android -DBUILD_TESTS=OFF -DUSE_OPENMP=OFF && \
+	make -j$(nproc) -vvv && make install
+
+android_openmp:
+	rm -rf build_prover_android_openmp && mkdir build_prover_android_openmp && cd build_prover_android_openmp && \
+	cmake .. -DTARGET_PLATFORM=ANDROID -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=../package_android_openmp -DBUILD_TESTS=OFF -DUSE_OPENMP=ON && \
+	make -j$(nproc) -vvv && make install
+
+android_x86_64:
+	rm -rf build_prover_android_x86_64 && mkdir build_prover_android_x86_64 && cd build_prover_android_x86_64 && \
+	cmake .. -DTARGET_PLATFORM=ANDROID_x86_64 -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=../package_android_x86_64 -DBUILD_TESTS=OFF -DUSE_OPENMP=OFF && \
+	make -j$(nproc) -vvv && make install
+
+android_openmp_x86_64:
+	rm -rf build_prover_android_openmp_x86_64 && mkdir build_prover_android_openmp_x86_64 && cd build_prover_android_openmp_x86_64 && \
+	cmake .. -DTARGET_PLATFORM=ANDROID_x86_64 -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=../package_android_openmp_x86_64 -DBUILD_TESTS=OFF -DUSE_OPENMP=ON && \
+	make -j$(nproc) -vvv && make install
+
+ios:
+	@if [ ! -d "./depends/gmp/package_ios_arm64" ]; then echo "Looks like gmp lib is not built. Run './build_gmp.sh ios' first." && exit 1; fi
+	rm -rf build_prover_ios && mkdir build_prover_ios && cd build_prover_ios && \
+		cmake .. -GXcode -DTARGET_PLATFORM=IOS -DCMAKE_INSTALL_PREFIX=../package_ios && \
+		xcodebuild -destination 'generic/platform=iOS' -scheme rapidsnarkStatic -project rapidsnark.xcodeproj -configuration Release && \
+		xcodebuild -destination 'generic/platform=iOS' -scheme rapidsnark -project rapidsnark.xcodeproj -configuration Release CODE_SIGNING_ALLOWED=NO && \
+		cp ../depends/gmp/package_ios_arm64/lib/libgmp.a src/Release-iphoneos && \
+		echo "" && echo "iOS Simulator artifacts built in build_prover_ios/src/Release-iphoneos" && echo ""
+
+ios_simulator:
+	@if [ ! -d "./depends/gmp/package_iphone_simulator" ]; then echo "Looks like gmp lib is not built. Run './build_gmp.sh ios_simulator' first." && exit 1; fi
+	rm -rf build_prover_ios_simulator && mkdir build_prover_ios_simulator && cd build_prover_ios_simulator && \
+		cmake .. -GXcode -DTARGET_PLATFORM=IOS_SIMULATOR -DCMAKE_INSTALL_PREFIX=../package_ios_simulator -DUSE_ASM=NO && \
+		xcodebuild -destination 'generic/platform=iOS Simulator' -scheme rapidsnarkStatic -project rapidsnark.xcodeproj && \
+		xcodebuild -destination 'generic/platform=iOS Simulator' -scheme rapidsnark -project rapidsnark.xcodeproj CODE_SIGNING_ALLOWED=NO ARCHS=arm64 && \
+		cp ../depends/gmp/package_iphone_simulator/lib/libgmp.a src/Debug-iphonesimulator && \
+		echo "" && echo "iOS Simulator artifacts built in build_prover_ios_simulator/src/Debug-iphonesimulator" && echo ""
+
+macos_arm64:
+	@if [ ! -d "./depends/gmp/package_macos_arm64" ]; then echo "Looks like gmp lib is not built. Run './build_gmp.sh macos_arm64' first." && exit 1; fi
+	rm -rf build_prover_macos_arm64 && mkdir build_prover_macos_arm64 && cd build_prover_macos_arm64 && \
+		cmake .. -DTARGET_PLATFORM=macos_arm64 -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=../package_macos_arm64 && \
+		make -j$(nproc) -vvv && make install
+
+macos_x86_64:
+	@if [ ! -d "./depends/gmp/package_macos_x86_64" ]; then echo "Looks like gmp lib is not built. Run './build_gmp.sh macos_x86_64' first." && exit 1; fi
+	rm -rf build_prover_macos_x86_64 && mkdir build_prover_macos_x86_64 && cd build_prover_macos_x86_64 && \
+		cmake .. -DTARGET_PLATFORM=macos_x86_64 -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=../package_macos_x86_64 && \
+		make -j$(nproc) -vvv && make install
+
+clean:
+	rm -rf build_prover \
+		build_prover_macos_arm64 \
+		build_prover_macos_x86_64 \
+		build_prover_android \
+		build_prover_android_x86_64 \
+		build_prover_ios \
+		build_prover_ios_simulator \
+		package \
+		package_macos_arm64 \
+		package_macos_x86_64 \
+		package_android \
+		package_android_x86_64 \
+		package_ios \
+		package_ios_simulator \
+		depends/gmp/package \
+		depends/gmp/package_macos_arm64 \
+		depends/gmp/package_macos_x86_64 \
+		depends/gmp/package_android_arm64 \
+		depends/gmp/package_android_x86_64 \
+		depends/gmp/package_ios_arm64 \
+		depends/gmp/package_iphone_simulator
+
diff --git a/.github/workflows/build-circuits.yml b/.github/workflows/build-circuits.yml
index 7ae311b..f28d1d5 100644
--- a/.github/workflows/build-circuits.yml
+++ b/.github/workflows/build-circuits.yml
@@ -86,17 +86,13 @@ jobs:
 
       - name: Replace Prover Makefile # TODO: Make a fork generate the appropriate Linux Makefile
         working-directory: repo
-        run: cp .github/resources/prover/${{ env.OS }}.Makefile circom_circuits/rapidsnark/Makefile
+        run: cp .github/resources/prover/Makefile circom_circuits/rapidsnark/Makefile
 
       - name: Compile Prover and Verifier
         working-directory: repo/circom_circuits/rapidsnark
         run: |
           ./build_gmp.sh host
-          GOMP_A="$(g++ --print-file-name=libgomp.a)"
-
-          PKG_CONFIG_STATIC=1 \
-          LDFLAGS= \
-          make host EXTRA_CMAKE_FLAGS='-DCMAKE_EXE_LINKER_FLAGS="-static -static-libstdc++ -static-libgcc -no-pie" -DOpenMP_gomp_LIBRARY='"$GOMP_A -DCMAKE_PREFIX_PATH=depends/gmp/package"
+          make host_linux_x86_64_static
 
       - name: Generate Witness Generator's C++ Circuit
         working-directory: repo/circom_circuits/Mantle
@@ -234,7 +230,7 @@ jobs:
       - name: Replace Prover Makefile # TODO: Make a fork generate the appropriate Windows Makefile
         shell: msys2 {0}
         working-directory: repo
-        run: cp .github/resources/prover/${{ env.OS }}.Makefile circom_circuits/rapidsnark/Makefile
+        run: cp .github/resources/prover/Makefile circom_circuits/rapidsnark/Makefile
 
       - name: Replace Prover CMakeLists
         shell: msys2 {0}
@@ -261,7 +257,7 @@ jobs:
         working-directory: repo/circom_circuits/rapidsnark
         run: |
           ./build_gmp.sh host
-          make host_windows_x86_64
+          make host_windows_x86_64_static
 
       - name: Generate Witness Generator's C++ Circuit
         working-directory: repo/circom_circuits/Mantle