diff --git a/math/Makefile b/math/Makefile
index 1c850463ffd0..8464fa17607c 100644
--- a/math/Makefile
+++ b/math/Makefile
@@ -671,6 +671,7 @@
     SUBDIR += ploticus-nox11
     SUBDIR += plplot
     SUBDIR += plplot-ada
+    SUBDIR += polylib
     SUBDIR += primegen
     SUBDIR += primme
     SUBDIR += prng
diff --git a/math/polylib/Makefile b/math/polylib/Makefile
new file mode 100644
index 000000000000..7203e2fcb8c9
--- /dev/null
+++ b/math/polylib/Makefile
@@ -0,0 +1,22 @@
+# $FreeBSD$
+
+PORTNAME=	polylib
+DISTVERSION=	5.22.5
+CATEGORIES=	math
+MASTER_SITES=	http://icps.u-strasbg.fr/polylib/polylib_src/
+
+MAINTAINER=	yuri@FreeBSD.org
+COMMENT=	Library of polyhedral functions
+
+LICENSE=	GPLv3
+LICENSE_FILE=	${WRKSRC}/COPYING
+
+LIB_DEPENDS=	libgmp.so:math/gmp
+
+USES=		gmake libtool
+GNU_CONFIGURE=	yes
+CONFIGURE_ARGS=	--disable-static \
+		--with-libgmp=${LOCALBASE} # can also be built w/out libgmp, in which case the suffix on some files changes. Not sure if/how this is useful.
+USE_LDCONFIG=	yes
+
+.include <bsd.port.mk>
diff --git a/math/polylib/distinfo b/math/polylib/distinfo
new file mode 100644
index 000000000000..c9ea49d28580
--- /dev/null
+++ b/math/polylib/distinfo
@@ -0,0 +1,3 @@
+TIMESTAMP = 1544133099
+SHA256 (polylib-5.22.5.tar.gz) = 84622ff9dfa5d06f0c266960ed078bd3577a30fde6d7f8bed1041b9838cb731f
+SIZE (polylib-5.22.5.tar.gz) = 2673630
diff --git a/math/polylib/pkg-descr b/math/polylib/pkg-descr
new file mode 100644
index 000000000000..ae2efda06bae
--- /dev/null
+++ b/math/polylib/pkg-descr
@@ -0,0 +1,20 @@
+The Polyhedral Library (PolyLib for short) operates on objects made up of
+unions of polyhedra of any dimension. It was first developed by Doran Wilde at
+IRISA, in Rennes, France, in connection with the ALPHA project. This first
+version (1.1) manipulates non parameterized unions of polyhedra through the
+following operations: intersection, difference, union, convex hull, simplify,
+image and preimage, plus some input and output functions. The polyhedra are
+computed in their dual implicit and Minkowski representations, in homogeneous
+spaces.
+
+Version 2 of the PolyLib included parameterized vertices computation.
+PolyLib3.14 includes Ehrhart polynomials computation, which permits to count
+the number of integer points contained in a parameterized polyhedron. PolyLib4
+included the GNU MP library (as a compilation option), and 64 bits computations,
+in order to avoid integer overflows. Polylib5 is a merge of Strasbourg, Rennes
+and BYU Polylib.
+
+There is also the 'visualpolylib' project that permits to use the PolyLib
+interactively.
+
+WWW: https://icps.u-strasbg.fr/polylib/
diff --git a/math/polylib/pkg-plist b/math/polylib/pkg-plist
new file mode 100644
index 000000000000..137486e13aed
--- /dev/null
+++ b/math/polylib/pkg-plist
@@ -0,0 +1,43 @@
+bin/c2p
+bin/disjoint_union_adj
+bin/disjoint_union_sep
+bin/ehrhart_lower_bound
+bin/ehrhart_quick_apx
+bin/ehrhart_rankinggmp
+bin/ehrhart_uniongmp
+bin/ehrhart_upper_bound
+bin/findv
+bin/ppgmp
+bin/r2p
+bin/testehrhartgmp
+include/polylib/Lattice.h
+include/polylib/Matop.h
+include/polylib/NormalForms.h
+include/polylib/SolveDio.h
+include/polylib/Zpolyhedron.h
+include/polylib/alpha.h
+include/polylib/arithmetic_errors.h
+include/polylib/arithmetique.h
+include/polylib/compress_parms.h
+include/polylib/ehrhart.h
+include/polylib/errormsg.h
+include/polylib/eval_ehrhart.h
+include/polylib/ext_ehrhart.h
+include/polylib/homogenization.h
+include/polylib/matrix.h
+include/polylib/matrix_addon.h
+include/polylib/matrix_permutations.h
+include/polylib/param.h
+include/polylib/polyhedron.h
+include/polylib/polylib.h
+include/polylib/polylib32.h
+include/polylib/polylib64.h
+include/polylib/polylibgmp.h
+include/polylib/polyparam.h
+include/polylib/ranking.h
+include/polylib/types.h
+include/polylib/vector.h
+lib/libpolylibgmp.so
+lib/libpolylibgmp.so.8
+lib/libpolylibgmp.so.8.1.0
+libdata/pkgconfig/polylibgmp.pc