move to own git serverHEADmaster

4 files changed, 66 insertions, 0 deletions

diff --git a/vcpkg/ports/cddlib/0001-disable-doc-target.patch b/vcpkg/ports/cddlib/0001-disable-doc-target.patch
new file mode 100644
index 0000000..5649994
--- /dev/null
+++ b/vcpkg/ports/cddlib/0001-disable-doc-target.patch
@@ -0,0 +1,12 @@
+diff --git a/Makefile.am b/Makefile.am
+index e08cd91..bcde34b 100644
+--- a/Makefile.am
++++ b/Makefile.am
+@@ -1,5 +1,5 @@
+ # Directories where we can build something.
+-SUBDIRS          = doc lib-src src
++SUBDIRS          = lib-src src
+ 
+ # Install the examples into /usr/share/doc/cddlib/examples*
+ nobase_doc_DATA = $(srcdir)/examples/* $(srcdir)/examples-ine/* $(srcdir)/examples-ine3d/* $(srcdir)/examples-ext/*
+

diff --git a/vcpkg/ports/cddlib/0002-disable-dd-log.patch b/vcpkg/ports/cddlib/0002-disable-dd-log.patch
new file mode 100644
index 0000000..8659761
--- /dev/null
+++ b/vcpkg/ports/cddlib/0002-disable-dd-log.patch
@@ -0,0 +1,25 @@
+diff --git a/src/lcdd.c b/src/lcdd.c
+index 473e6c5..cafc1a5 100644
+--- a/src/lcdd.c
++++ b/src/lcdd.c
+@@ -44,7 +44,6 @@ int main(int argc, char *argv[])
+   dd_ErrorType err;
+ 
+   dd_set_global_constants();  /* First, this must be called. */
+-  dd_log=dd_TRUE; /* Output log */
+ 
+   if (argc > 2)  
+     dd_DDFile2File(argv[1],argv[2],&err);
+diff --git a/src/scdd.c b/src/scdd.c
+index e9e0c59..9e6ed32 100644
+--- a/src/scdd.c
++++ b/src/scdd.c
+@@ -66,7 +66,6 @@ int main(int argc, char *argv[])
+   FILE *reading=NULL, *writing;
+ 
+   dd_set_global_constants();  /* First, this must be called. */
+-  dd_log=dd_TRUE;  /* output log */
+ 
+   if (argc>1) strcpy(inputfile,argv[1]);
+   if (argc<=1 || !SetInputFile(&reading,argv[1])){
+

diff --git a/vcpkg/ports/cddlib/portfile.cmake b/vcpkg/ports/cddlib/portfile.cmake
new file mode 100644
index 0000000..89ad174
--- /dev/null
+++ b/vcpkg/ports/cddlib/portfile.cmake
@@ -0,0 +1,19 @@
+vcpkg_from_github(
+    OUT_SOURCE_PATH SOURCE_PATH
+    REPO cddlib/cddlib
+    REF ${VERSION}
+    SHA512 8591ebe9e2a09683bb01b478df6536d1291012927d343013f8593126d3570f7883e125c63c68cd21eeea142a450847dc609e373e39cffb308bed1b56d6342ac1
+    HEAD_REF master
+    PATCHES
+        0001-disable-doc-target.patch  # disable building docs, as they require latex
+        0002-disable-dd-log.patch  # windows does not export global variables
+)
+vcpkg_configure_make(
+    SOURCE_PATH "${SOURCE_PATH}"
+    AUTOCONFIG
+    COPY_SOURCE  # ensure generated files are found
+)
+vcpkg_install_make()
+vcpkg_fixup_pkgconfig()
+vcpkg_install_copyright(FILE_LIST "${SOURCE_PATH}/COPYING" "${SOURCE_PATH}/COPYING")
+file(REMOVE_RECURSE "${CURRENT_PACKAGES_DIR}/debug/share")
diff --git a/vcpkg/ports/cddlib/vcpkg.json b/vcpkg/ports/cddlib/vcpkg.json
new file mode 100644
index 0000000..763fb93
--- /dev/null
+++ b/vcpkg/ports/cddlib/vcpkg.json
@@ -0,0 +1,10 @@
+{
+  "name": "cddlib",
+  "version-string": "0.94m",
+  "description": "C implementation of the Double Description Method",
+  "homepage": "https://github.com/cddlib/cddlib",
+  "license": "GPL-2.0-or-later",
+  "dependencies": [
+    "gmp"
+  ]
+}