aboutsummaryrefslogtreecommitdiff
path: root/ports/flint
diff options
context:
space:
mode:
Diffstat (limited to 'ports/flint')
-rw-r--r--ports/flint/CONTROL5
-rw-r--r--ports/flint/vcpkg.json13
2 files changed, 13 insertions, 5 deletions
diff --git a/ports/flint/CONTROL b/ports/flint/CONTROL
deleted file mode 100644
index cac9d2569..000000000
--- a/ports/flint/CONTROL
+++ /dev/null
@@ -1,5 +0,0 @@
-Source: flint
-Version: 2.5.2-4
-Homepage: https://www.flintlib.org/
-Description: Fast Library for Number Theory
-Build-Depends: mpir, mpfr, pthreads, gettimeofday
diff --git a/ports/flint/vcpkg.json b/ports/flint/vcpkg.json
new file mode 100644
index 000000000..520dc5a81
--- /dev/null
+++ b/ports/flint/vcpkg.json
@@ -0,0 +1,13 @@
+{
+ "name": "flint",
+ "version-string": "2.5.2",
+ "port-version": 5,
+ "description": "Fast Library for Number Theory",
+ "homepage": "https://www.flintlib.org/",
+ "dependencies": [
+ "gettimeofday",
+ "mpfr",
+ "mpir",
+ "pthreads"
+ ]
+}