diff options
Diffstat (limited to 'debian/patches/gui-c++20.patch')
-rw-r--r-- | debian/patches/gui-c++20.patch | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/debian/patches/gui-c++20.patch b/debian/patches/gui-c++20.patch new file mode 100644 index 0000000..397d0e0 --- /dev/null +++ b/debian/patches/gui-c++20.patch @@ -0,0 +1,14 @@ +Description: Use c++20 to build GUI +Fixes "src/include/open-axiom/vm:177:21: error: ‘std::same_as’ has not been declared" + +Index: open-axiom-debian/src/gui/gui.pro.in +=================================================================== +--- open-axiom-debian.orig/src/gui/gui.pro.in ++++ open-axiom-debian/src/gui/gui.pro.in +@@ -60,5 +60,5 @@ LIBS += $$OA_LIB + + ## C++ compiler + QMAKE_CXX = @CXX@ +-QMAKE_CXXFLAGS += -std=c++11 @oa_extra_cxxflags@ ++QMAKE_CXXFLAGS += -std=c++20 @oa_extra_cxxflags@ + QMAKE_LINK = @CXX@ |