summaryrefslogtreecommitdiff
path: root/devel/dprog
diff options
context:
space:
mode:
Diffstat (limited to 'devel/dprog')
-rw-r--r--devel/dprog/Makefile32
-rw-r--r--devel/dprog/distinfo2
-rw-r--r--devel/dprog/files/patch-Makefile.in29
-rw-r--r--devel/dprog/files/patch-ast.cc7
-rw-r--r--devel/dprog/files/patch-ast_test.cc10
-rw-r--r--devel/dprog/files/patch-codegen_test.cc11
-rw-r--r--devel/dprog/files/patch-cxx_codegen.cc19
-rw-r--r--devel/dprog/files/patch-cxx_dprog.hh10
-rw-r--r--devel/dprog/files/patch-functions.cc10
-rw-r--r--devel/dprog/files/patch-pprint.cc10
-rw-r--r--devel/dprog/files/patch-range_checking.cc14
-rw-r--r--devel/dprog/files/patch-range_checking_test.cc11
-rw-r--r--devel/dprog/files/patch-type_checking.hh21
-rw-r--r--devel/dprog/pkg-descr18
-rw-r--r--devel/dprog/pkg-plist7
15 files changed, 0 insertions, 211 deletions
diff --git a/devel/dprog/Makefile b/devel/dprog/Makefile
deleted file mode 100644
index 5cd9ddcbe3a6..000000000000
--- a/devel/dprog/Makefile
+++ /dev/null
@@ -1,32 +0,0 @@
-# Created by: ijliao
-# $FreeBSD$
-
-PORTNAME= dprog
-PORTVERSION= 0.3.1
-PORTREVISION= 2
-CATEGORIES= devel
-MASTER_SITES= http://www.daimi.au.dk/~mailund/dprog/download/
-
-MAINTAINER= ports@FreeBSD.org
-COMMENT= Language for specifying dynamic programming algorithms
-
-BROKEN= unfetchable
-DEPRECATED= Unfetchable, unmaintained
-EXPIRATION_DATE= 2019-10-16
-
-LIB_DEPENDS= libpopt.so:devel/popt
-
-GNU_CONFIGURE= yes
-CPPFLAGS+= ${CXXFLAGS} -I${LOCALBASE}/include
-LDFLAGS+= -L${LOCALBASE}/lib
-
-OPTIONS_DEFINE= EMACS
-OPTIONS_DEFAULT= EMACS
-OPTIONS_SUB= yes
-EMACS_DESC= Emacs syntax files
-
-post-install:
- @${MKDIR} ${STAGEDIR}${DATADIR}
- ${INSTALL_DATA} ${WRKSRC}/elisp/*.el ${STAGEDIR}${DATADIR}
-
-.include <bsd.port.mk>
diff --git a/devel/dprog/distinfo b/devel/dprog/distinfo
deleted file mode 100644
index 28f72266fe77..000000000000
--- a/devel/dprog/distinfo
+++ /dev/null
@@ -1,2 +0,0 @@
-SHA256 (dprog-0.3.1.tar.gz) = 9f27836de2d54bf1bd2ee39ec97a50be838b507d9a8d7829d2c4da6f47f02f7f
-SIZE (dprog-0.3.1.tar.gz) = 127542
diff --git a/devel/dprog/files/patch-Makefile.in b/devel/dprog/files/patch-Makefile.in
deleted file mode 100644
index b819f9e093d8..000000000000
--- a/devel/dprog/files/patch-Makefile.in
+++ /dev/null
@@ -1,29 +0,0 @@
---- Makefile.in.orig 2003-04-21 14:29:07.000000000 +0200
-+++ Makefile.in 2014-03-28 11:53:55.832875969 +0100
-@@ -87,7 +87,7 @@
- ARCH = `uname -mrs`
- DATE = `date '+%d %h %y'`
-
--CXXFLAGS = -DARCH="\"$(ARCH)\"" -DDATE="\"$(DATE)\"" -Wall -frepo -g
-+CXXFLAGS = -DARCH="\"$(ARCH)\"" -DDATE="\"$(DATE)\"" -Wall -g
-
- #CXXFLAGS += -pg
- #CXXFLAGS += -O3
-@@ -121,7 +121,7 @@
- type_check_test_LDADD = @LEXLIB@
- type_check_test_SOURCES = lexer.ll parser.yy ast.hh ast.cc visitor.hh pretty_printer.hh pretty_printer.cc functions.hh functions.cc cxx_codegen.hh cxx_codegen.cc symbol_checking.hh symbol_checking.cc type_checking.hh type_checking.cc options.hh options.cc type_check_test.cc
-
--cxx_dprog_test_LDADD = -L. -lcxx_dprog -lefence
-+cxx_dprog_test_LDADD = -L. -lcxx_dprog
- cxx_dprog_test_SOURCES = cxx_dprog_test.cc
-
- symbol_checking_test_SOURCES = ast.hh ast.cc visitor.hh pretty_printer.hh pretty_printer.cc symbol_checking.hh symbol_checking.cc type_checking.hh type_checking.cc functions.hh functions.cc codegen.hh codegen.cc cxx_codegen.hh cxx_codegen.cc options.hh options.cc symbol_checking_test.cc
-@@ -169,7 +169,7 @@
- codegen_test_LDFLAGS =
- am_cxx_dprog_test_OBJECTS = cxx_dprog_test.$(OBJEXT)
- cxx_dprog_test_OBJECTS = $(am_cxx_dprog_test_OBJECTS)
--cxx_dprog_test_DEPENDENCIES =
-+cxx_dprog_test_DEPENDENCIES = $(lib_LIBRARIES)
- cxx_dprog_test_LDFLAGS =
- am_dprog_OBJECTS = lexer.$(OBJEXT) parser.$(OBJEXT) ast.$(OBJEXT) \
- pretty_printer.$(OBJEXT) range_checking.$(OBJEXT) \
diff --git a/devel/dprog/files/patch-ast.cc b/devel/dprog/files/patch-ast.cc
deleted file mode 100644
index 7e0f8ffa3813..000000000000
--- a/devel/dprog/files/patch-ast.cc
+++ /dev/null
@@ -1,7 +0,0 @@
---- ast.cc.orig Tue Dec 30 17:40:13 2003
-+++ ast.cc Tue Dec 30 17:40:21 2003
-@@ -1,3 +1,4 @@
-+#include <cassert>
-
- #include "ast.hh"
- #include "visitor.hh"
diff --git a/devel/dprog/files/patch-ast_test.cc b/devel/dprog/files/patch-ast_test.cc
deleted file mode 100644
index afd9aae9544b..000000000000
--- a/devel/dprog/files/patch-ast_test.cc
+++ /dev/null
@@ -1,10 +0,0 @@
---- ast_test.cc.orig Mon Apr 12 11:22:05 2004
-+++ ast_test.cc Mon Apr 12 11:22:15 2004
-@@ -3,6 +3,7 @@
- #include "visitor.hh"
- using namespace ast;
-
-+#include <cstdio>
- #include <iostream>
-
- int yyparse();
diff --git a/devel/dprog/files/patch-codegen_test.cc b/devel/dprog/files/patch-codegen_test.cc
deleted file mode 100644
index 3d58006bfd45..000000000000
--- a/devel/dprog/files/patch-codegen_test.cc
+++ /dev/null
@@ -1,11 +0,0 @@
---- codegen_test.cc.orig Tue Apr 6 08:57:15 2004
-+++ codegen_test.cc Tue Apr 6 08:57:29 2004
-@@ -2,6 +2,8 @@
- #include "codegen.hh"
- #include <iostream>
-
-+#include <cassert>
-+
- using namespace std;
-
- int
diff --git a/devel/dprog/files/patch-cxx_codegen.cc b/devel/dprog/files/patch-cxx_codegen.cc
deleted file mode 100644
index 0ba2d90365f8..000000000000
--- a/devel/dprog/files/patch-cxx_codegen.cc
+++ /dev/null
@@ -1,19 +0,0 @@
---- cxx_codegen.cc.orig Mon Apr 12 11:13:48 2004
-+++ cxx_codegen.cc Mon Apr 12 11:15:00 2004
-@@ -8,6 +8,7 @@
- #include <fstream>
- #include <sstream>
- #include <set>
-+#include <cassert>
-
- using namespace ast;
- using namespace std;
-@@ -83,7 +84,7 @@
- {
- _cc_os << "for (int " << rexpr.index() << " = ";
- rexpr.begin()->accept(*this);
-- if (not rexpr.begin_br()->include())
-+ if (! rexpr.begin_br()->include())
- {
- if (rexpr.begin_br()->is_less())
- _cc_os << " + 1";
diff --git a/devel/dprog/files/patch-cxx_dprog.hh b/devel/dprog/files/patch-cxx_dprog.hh
deleted file mode 100644
index 48596768ec76..000000000000
--- a/devel/dprog/files/patch-cxx_dprog.hh
+++ /dev/null
@@ -1,10 +0,0 @@
---- cxx_dprog.hh.orig Tue Apr 6 08:58:45 2004
-+++ cxx_dprog.hh Tue Apr 6 08:59:01 2004
-@@ -5,6 +5,7 @@
-
- #include <vector>
- #include <cstdarg>
-+#include <cassert>
-
- #include <iostream>
-
diff --git a/devel/dprog/files/patch-functions.cc b/devel/dprog/files/patch-functions.cc
deleted file mode 100644
index 3eacca338bba..000000000000
--- a/devel/dprog/files/patch-functions.cc
+++ /dev/null
@@ -1,10 +0,0 @@
---- functions.cc.orig Tue Dec 30 17:42:16 2003
-+++ functions.cc Tue Dec 30 17:42:25 2003
-@@ -1,6 +1,7 @@
-
- #include "functions.hh"
- #include <map>
-+#include <cassert>
- using namespace std;
-
- // FIXME: this stuff should be read from some configuration file.
diff --git a/devel/dprog/files/patch-pprint.cc b/devel/dprog/files/patch-pprint.cc
deleted file mode 100644
index 383b390857a4..000000000000
--- a/devel/dprog/files/patch-pprint.cc
+++ /dev/null
@@ -1,10 +0,0 @@
---- pprint.cc.orig Mon Apr 12 11:20:27 2004
-+++ pprint.cc Mon Apr 12 11:20:46 2004
-@@ -3,6 +3,7 @@
- using namespace ast;
- #include "pretty_printer.hh"
-
-+#include <cstdio>
- #include <iostream>
-
- int yyparse();
diff --git a/devel/dprog/files/patch-range_checking.cc b/devel/dprog/files/patch-range_checking.cc
deleted file mode 100644
index b76f0abbfa37..000000000000
--- a/devel/dprog/files/patch-range_checking.cc
+++ /dev/null
@@ -1,14 +0,0 @@
---- range_checking.cc.orig Mon Apr 12 11:10:54 2004
-+++ range_checking.cc Mon Apr 12 11:11:04 2004
-@@ -14,9 +14,9 @@
- void
- RangeCheckVisitor::visit (RExpr &rexpr)
- {
-- if (rexpr.begin_br()->is_less() and rexpr.end_br()->is_less())
-+ if (rexpr.begin_br()->is_less() && rexpr.end_br()->is_less())
- return;
-- if (rexpr.begin_br()->is_greater() and rexpr.end_br()->is_greater())
-+ if (rexpr.begin_br()->is_greater() && rexpr.end_br()->is_greater())
- return;
-
- throw new RangeError(rexpr);
diff --git a/devel/dprog/files/patch-range_checking_test.cc b/devel/dprog/files/patch-range_checking_test.cc
deleted file mode 100644
index c35f43c15fb8..000000000000
--- a/devel/dprog/files/patch-range_checking_test.cc
+++ /dev/null
@@ -1,11 +0,0 @@
---- range_checking_test.cc.orig Tue Apr 6 09:01:30 2004
-+++ range_checking_test.cc Tue Apr 6 09:01:43 2004
-@@ -4,6 +4,8 @@
- #include "ast.hh"
- #include <iostream>
-
-+#include <cassert>
-+
- int yyparse();
-
- ast::DProg *dprog = 0;
diff --git a/devel/dprog/files/patch-type_checking.hh b/devel/dprog/files/patch-type_checking.hh
deleted file mode 100644
index dce6033c8916..000000000000
--- a/devel/dprog/files/patch-type_checking.hh
+++ /dev/null
@@ -1,21 +0,0 @@
---- type_checking.hh.orig Mon Apr 21 20:13:54 2003
-+++ type_checking.hh Mon Apr 12 11:11:30 2004
-@@ -7,6 +7,7 @@
- #include <set>
- #include <iostream>
- #include <typeinfo>
-+#include <cassert>
-
- namespace type_checking {
-
-@@ -31,8 +32,8 @@
- bool operator==(const TypeInfo &other) const
- {
- return (typeid(*this) == typeid(other)
-- and (strcmp(name(),other.name()) == 0)
-- and (arity() == other.arity()));
-+ && (strcmp(name(),other.name()) == 0)
-+ && (arity() == other.arity()));
- }
- bool operator!=(const TypeInfo &other) const
- { return !((*this)==other); }
diff --git a/devel/dprog/pkg-descr b/devel/dprog/pkg-descr
deleted file mode 100644
index 0f39257c2dfa..000000000000
--- a/devel/dprog/pkg-descr
+++ /dev/null
@@ -1,18 +0,0 @@
-Dynamic programming is a simple yet powerful technique for solving optimisation
-problems. When the problem at hand can be split in smaller problems, such that
-the smaller solutions of an optimal solution are themselves optimal, dynamic
-programming can be used to avoid re-calculating solutions to shared sub-
-problems.
-
-Simple problems are both easily specified and easily implemented, but for
-complex problems translating the specification of the problem into the
-implementation of the dynamic programming algorithm becomes tedious and error
-prone. The goal of DPROG is to alleviate this by automatically translating the
-specification of the problem into an implementation of the solution.
-
-The DPROG language is designed to be close to the ``mathematical'' notation
-used for expressing recurrences, thus making it easier to specify the problem.
-Using the DPROG compiler, the manual implementation step can be completely
-avoided.
-
-WWW: http://www.daimi.au.dk/~mailund/dprog/
diff --git a/devel/dprog/pkg-plist b/devel/dprog/pkg-plist
deleted file mode 100644
index 3a5d3c99d11a..000000000000
--- a/devel/dprog/pkg-plist
+++ /dev/null
@@ -1,7 +0,0 @@
-bin/dprog
-include/cxx_dprog.hh
-lib/libcxx_dprog.a
-%%EMACS%%%%DATADIR%%/dprog-constants.el
-%%EMACS%%%%DATADIR%%/dprog-font-lock.el
-%%EMACS%%%%DATADIR%%/dprog-indent.el
-%%EMACS%%%%DATADIR%%/dprog.el
generated by cgit v1.2.3 (git 2.25.1) at 2025-08-30 16:30:20 +0000