Corrections for compilation.

Author: MathieuDutSik

.github/workflows/ci_15_schedule_basic_tests.yml

@@ -3,13 +3,19 @@ name: Basic Tests
 on:
   # Every 15th of the month at midnight
   schedule:
-    - cron: "0 0 22 * *"
+    - cron: "0 0 23 * *"
   # Manually triggered
   workflow_dispatch:
 
 jobs:
   basic-tests:
     runs-on: ubuntu-latest
+    env:
+      GMP_INCDIR: /usr/include
+      GMP_CXX_LINK: "-lm -lgmp -lgmpxx"
+      BOOST_INCDIR: "/usr/include"
+      BOOST_LINK: "/usr/lib/x86_64-linux-gnu/libboost_serialization.a"
+      EIGEN_PATH: /home/runner/work/opt/eigen
 
     steps:
     - uses: actions/checkout@v4