move to own git serverHEADmaster

1 files changed, 12 insertions, 0 deletions

diff --git a/vcpkg/ports/mathgl/include_functional.patch b/vcpkg/ports/mathgl/include_functional.patch
new file mode 100644
index 0000000..1b7a2b7
--- /dev/null
+++ b/vcpkg/ports/mathgl/include_functional.patch
@@ -0,0 +1,12 @@
+diff --git a/src/prc/writePRC.h b/src/prc/writePRC.h
+index d0b4e0e..3bc68ea 100644
+--- a/src/prc/writePRC.h
++++ b/src/prc/writePRC.h
+@@ -31,6 +31,7 @@
+ #include "PRC.h"
+ #include <float.h>
+ #include <math.h>
++#include <functional>
+ 
+ static const uint32_t m1=(uint32_t)-1;
+ static const double pi=acos(-1.0);