From 248c1eca294525edaa2a4bc799e2dbe8cf43fc3c Mon Sep 17 00:00:00 2001
From: Alec Edgington <54802828+cqc-alec@users.noreply.github.com>
Date: Thu, 14 Dec 2023 09:22:14 +0000
Subject: [PATCH] [infra] Bump symengine and gmp versions (#1176)

---
 .github/workflows/build-without-conan.yml |  6 +++---
 build-without-conan.md                    | 14 +++++++-------
 pytket/conanfile.py                       |  6 +++---
 tket/conanfile.py                         |  4 ++--
 4 files changed, 15 insertions(+), 15 deletions(-)

diff --git a/.github/workflows/build-without-conan.yml b/.github/workflows/build-without-conan.yml
index 740f00987b..aff43ee7fe 100644
--- a/.github/workflows/build-without-conan.yml
+++ b/.github/workflows/build-without-conan.yml
@@ -40,9 +40,9 @@ jobs:
     - name: Install symengine
       run: |
         cd ${TMP_DIR}
-        wget https://github.com/symengine/symengine/releases/download/v0.11.1/symengine-0.11.1.tar.gz
-        tar xzvf symengine-0.11.1.tar.gz
-        cd symengine-0.11.1/
+        wget https://github.com/symengine/symengine/releases/download/v0.11.2/symengine-0.11.2.tar.gz
+        tar xzvf symengine-0.11.2.tar.gz
+        cd symengine-0.11.2/
         mkdir build
         cd build
         cmake -GNinja -DCMAKE_INSTALL_PREFIX=${INSTALL_DIR} -DBUILD_TESTS=OFF -DBUILD_BENCHMARKS=OFF ..
diff --git a/build-without-conan.md b/build-without-conan.md
index 7e2dc7128f..d66ae6b8ed 100644
--- a/build-without-conan.md
+++ b/build-without-conan.md
@@ -34,10 +34,10 @@ cd boost_1_83_0/
 
 ```
 cd ${TMP_DIR}
-wget https://gmplib.org/download/gmp/gmp-6.2.1.tar.bz2
-bzip2 -dk gmp-6.2.1.tar.bz2
-tar xvf gmp-6.2.1.tar
-cd gmp-6.2.1/
+wget https://gmplib.org/download/gmp/gmp-6.3.0.tar.bz2
+bzip2 -dk gmp-6.3.0.tar.bz2
+tar xvf gmp-6.3.0.tar
+cd gmp-6.3.0/
 ./configure --prefix=${INSTALL_DIR} --enable-cxx=yes
 make
 make check
@@ -48,9 +48,9 @@ make install
 
 ```
 cd ${TMP_DIR}
-wget https://github.com/symengine/symengine/releases/download/v0.11.1/symengine-0.11.1.tar.gz
-tar xzvf symengine-0.11.1.tar.gz
-cd symengine-0.11.1/
+wget https://github.com/symengine/symengine/releases/download/v0.11.2/symengine-0.11.2.tar.gz
+tar xzvf symengine-0.11.2.tar.gz
+cd symengine-0.11.2/
 mkdir build
 cd build
 cmake -DCMAKE_INSTALL_PREFIX=${INSTALL_DIR} -DBUILD_TESTS=OFF -DBUILD_BENCHMARKS=OFF ..
diff --git a/pytket/conanfile.py b/pytket/conanfile.py
index 62830cf6d0..6f231d3fd5 100644
--- a/pytket/conanfile.py
+++ b/pytket/conanfile.py
@@ -32,14 +32,14 @@ def package(self):
         cmake.install()
 
     def requirements(self):
-        self.requires("tket/1.2.73@tket/stable")
+        self.requires("tket/1.2.74@tket/stable")
         self.requires("tklog/0.3.3@tket/stable")
         self.requires("tkrng/0.3.3@tket/stable")
         self.requires("tkassert/0.3.4@tket/stable")
         self.requires("tkwsm/0.3.6@tket/stable")
         self.requires("tktokenswap/0.3.6@tket/stable")
-        self.requires("symengine/0.11.1")
-        self.requires("gmp/6.2.1")
+        self.requires("symengine/0.11.2")
+        self.requires("gmp/6.3.0")
         self.requires("pybind11/2.11.1")
         self.requires("nlohmann_json/3.11.3")
         self.requires("pybind11_json/0.2.13")
diff --git a/tket/conanfile.py b/tket/conanfile.py
index 248d2ee0ea..d9f9823e8b 100644
--- a/tket/conanfile.py
+++ b/tket/conanfile.py
@@ -23,7 +23,7 @@
 
 class TketConan(ConanFile):
     name = "tket"
-    version = "1.2.73"
+    version = "1.2.74"
     package_type = "library"
     license = "Apache 2"
     homepage = "https://github.com/CQCL/tket"
@@ -112,7 +112,7 @@ def requirements(self):
         # libraries installed from remote:
         # https://quantinuumsw.jfrog.io/artifactory/api/conan/tket1-libs
         self.requires("boost/1.83.0", transitive_headers=True)
-        self.requires("symengine/0.11.1", transitive_headers=True)
+        self.requires("symengine/0.11.2", transitive_headers=True)
         self.requires("eigen/3.4.0", transitive_headers=True)
         self.requires("nlohmann_json/3.11.3", transitive_headers=True)
         self.requires("tklog/0.3.3@tket/stable")