svn commit: r457259 - in head/math: . zimpl zimpl/files

[Yuri Victorovich]

Author: yuri
Date: Mon Dec 25 21:31:55 2017
New Revision: 457259
URL: https://svnweb.freebsd.org/changeset/ports/457259

Log:
  New port: math/zimpl: Language to translate the LP models into .lp or .mps
  
  Submitted by:	myself
  Approved by:	adamw (mentor)
  Differential Revision:	https://reviews.freebsd.org/D13623

Added:
  head/math/zimpl/
  head/math/zimpl/Makefile   (contents, props changed)
  head/math/zimpl/distinfo   (contents, props changed)
  head/math/zimpl/files/
  head/math/zimpl/files/patch-Makefile   (contents, props changed)
  head/math/zimpl/pkg-descr   (contents, props changed)
Modified:
  head/math/Makefile

Modified: head/math/Makefile
==============================================================================
--- head/math/Makefile	Mon Dec 25 20:55:49 2017	(r457258)
+++ head/math/Makefile	Mon Dec 25 21:31:55 2017	(r457259)
@@ -766,5 +766,6 @@
     SUBDIR += xspread
     SUBDIR += yacas
     SUBDIR += z3
+    SUBDIR += zimpl
 
 .include <bsd.port.subdir.mk>

Added: head/math/zimpl/Makefile
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/zimpl/Makefile	Mon Dec 25 21:31:55 2017	(r457259)
@@ -0,0 +1,27 @@
+# Created by: Yuri Victorovich <yuri at FreeBSD.org>
+# $FreeBSD$
+
+PORTNAME=	zimpl
+DISTVERSION=	3.3.4
+CATEGORIES=	math
+MASTER_SITES=	http://zimpl.zib.de/download/
+
+MAINTAINER=	yuri at FreeBSD.org
+COMMENT=	Language to translate the LP models into .lp or .mps
+
+LICENSE=	LGPL3
+LICENSE_FILE=	${WRKSRC}/LICENSE
+
+LIB_DEPENDS=	libgmp.so:math/gmp
+
+USES=		gmake localbase:ldflags tar:tgz
+USE_LDCONFIG=	yes
+
+MAKE_ARGS=	CC=${CC} LINKCC=${CC} DCC=${CC} LDFLAGS="${LDFLAGS} -lgmp -lm -lz" SHARED=true
+
+PLIST_FILES=	bin/zimpl
+
+do-install:
+	${INSTALL_PROGRAM} ${WRKSRC}/bin/zimpl-* ${STAGEDIR}${PREFIX}/bin/${PORTNAME}
+
+.include <bsd.port.mk>

Added: head/math/zimpl/distinfo
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/zimpl/distinfo	Mon Dec 25 21:31:55 2017	(r457259)
@@ -0,0 +1,3 @@
+TIMESTAMP = 1514229681
+SHA256 (zimpl-3.3.4.tgz) = 3362fb21524df459723d23f6e0c122ebdd684153a9cc991a2c7f5b2752a83eb2
+SIZE (zimpl-3.3.4.tgz) = 802251

Added: head/math/zimpl/files/patch-Makefile
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/zimpl/files/patch-Makefile	Mon Dec 25 21:31:55 2017	(r457259)
@@ -0,0 +1,51 @@
+--- Makefile.orig	2017-03-07 17:20:10 UTC
++++ Makefile
+@@ -26,7 +26,7 @@
+ #
+ .PHONY:		all depend clean lint doc doxygen check valgrind libdbl coverage
+ 
+-ARCH            :=      $(shell uname -m | \
++ARCHX           :=      $(shell uname -m | \
+                         sed \
+ 			-e s/sun../sparc/ \
+ 			-e s/i.86/x86/ \
+@@ -40,6 +40,7 @@ OSTYPE          :=      $(shell uname -s
+                         tr '[:upper:]' '[:lower:]' | \
+ 			tr '/' '_' | \
+                         sed \
++			-e s/freebsd/linux/ \
+ 			-e s/cygwin.*/cygwin/ \
+                         -e s/irix../irix/ \
+                         -e s/windows.*/windows/ \
+@@ -76,7 +77,7 @@ SRCDIR		=	src
+ BINDIR		=	bin
+ LIBDIR		=	lib
+ 
+-CPPFLAGS	=	-I$(SRCDIR) -DVERSION='"$(VERSION)"'
++CPPFLAGS	+=	-I$(SRCDIR) -DVERSION='"$(VERSION)"'
+ CFLAGS		=	-O
+ LDFLAGS		=	-lgmp -lm
+ YFLAGS		=	-d -t -v  
+@@ -102,10 +103,10 @@ ifeq ($(STATIC),true)
+ LINK		=	static
+ endif
+ 
+-BASE		=	$(OSTYPE).$(ARCH).$(COMP).$(OPT)
+-OBJDIR		=	obj/O.$(OSTYPE).$(ARCH).$(COMP).$(LINK).$(OPT)
++BASE		=	$(OSTYPE).$(ARCHX).$(COMP).$(OPT)
++OBJDIR		=	obj/O.$(OSTYPE).$(ARCHX).$(COMP).$(LINK).$(OPT)
+ NAME		=	zimpl
+-BINNAME		=	$(NAME)-$(VERSION).$(OSTYPE).$(ARCH).$(COMP).$(LINK).$(OPT)
++BINNAME		=	$(NAME)-$(VERSION).$(OSTYPE).$(ARCHX).$(COMP).$(LINK).$(OPT)
+ LIBNAME		=	$(NAME)-$(VERSION).$(BASE)
+ 
+ LIBRARY		=	$(LIBDIR)/lib$(LIBNAME)$(LIBEXT)
+@@ -140,7 +141,7 @@ OBJSRC		=	$(addprefix $(SRCDIR)/,$(OBJEC
+ LIBSRC		=	$(addprefix $(SRCDIR)/,$(LIBOBJ:.o=.c)) #(SRCDIR)/numbdbl.c
+ 
+ #-----------------------------------------------------------------------------
+-include make/make.$(OSTYPE).$(ARCH).$(COMP).$(OPT)
++include make/make.$(OSTYPE).$(ARCHX).$(COMP).$(OPT)
+ -include make/local/make.$(HOSTNAME)
+ -include make/local/make.$(HOSTNAME).$(COMP)
+ -include make/local/make.$(HOSTNAME).$(COMP).$(OPT)

Added: head/math/zimpl/pkg-descr
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/zimpl/pkg-descr	Mon Dec 25 21:31:55 2017	(r457259)
@@ -0,0 +1,6 @@
+Zimpl is a little language to translate the mathematical model of a problem
+into a linear or nonlinear (mixed-) integer mathematical program expressed
+in .lp or .mps file format which can be read and (hopefully) solved by a LP
+or MIP solver. 
+
+WWW: http://zimpl.zib.de