g/c PFRAG.shared from OCaml ports; ok chrisz@

This commit is contained in:
naddy 2016-03-29 11:27:00 +00:00
parent 0d5bad6448
commit b565ffc051
50 changed files with 105 additions and 131 deletions

View File

@ -1,4 +1,4 @@
# $OpenBSD: Makefile,v 1.24 2015/08/30 15:49:08 avsm Exp $
# $OpenBSD: Makefile,v 1.25 2016/03/29 11:27:00 naddy Exp $
COMMENT= Objective Caml bindings for PostgreSQL
CATEGORIES= databases
@ -7,6 +7,7 @@ V= 3.2.1
NAME = ocaml-postgresql
DISTNAME= postgresql-ocaml-${V}
PKGNAME= ${NAME}-${V}
REVISION= 0
MASTER_SITES= https://github.com/mmottl/postgresql-ocaml/releases/download/v${V}/
MAINTAINER= Anil Madhavapeddy <avsm@openbsd.org>

View File

@ -1,2 +0,0 @@
@comment $OpenBSD: PFRAG.shared,v 1.1 2012/08/18 21:55:08 avsm Exp $
lib/ocaml/stublibs/dllpostgresql_stubs.so

View File

@ -1,4 +1,4 @@
@comment $OpenBSD: PLIST,v 1.7 2015/08/30 15:49:08 avsm Exp $
@comment $OpenBSD: PLIST,v 1.8 2016/03/29 11:27:00 naddy Exp $
lib/ocaml/postgresql/
lib/ocaml/postgresql/META
lib/ocaml/postgresql/libpostgresql_stubs.a
@ -9,8 +9,8 @@ lib/ocaml/postgresql/postgresql.cmt
lib/ocaml/postgresql/postgresql.cmti
lib/ocaml/postgresql/postgresql.mli
%%native%%
%%SHARED%%
@comment lib/ocaml/stublibs/
lib/ocaml/stublibs/dllpostgresql_stubs.so
@comment lib/ocaml/stublibs/dllpostgresql_stubs.so.owner
share/doc/ocaml-postgresql/
share/doc/ocaml-postgresql/api/

View File

@ -1,4 +1,4 @@
# $OpenBSD: Makefile,v 1.27 2016/03/11 21:23:46 mmcc Exp $
# $OpenBSD: Makefile,v 1.28 2016/03/29 11:27:00 naddy Exp $
COMMENT= Objective Caml bindings for SQLite3
CATEGORIES= databases
@ -7,6 +7,7 @@ V= 2.0.9
NAME = ocaml-sqlite3
DISTNAME= sqlite3-ocaml-${V}
PKGNAME= ${NAME}-${V}
REVISION= 0
MASTER_SITES= https://github.com/mmottl/sqlite3-ocaml/releases/download/v${V}/
MAINTAINER= Anil Madhavapeddy <avsm@openbsd.org>

View File

@ -1,2 +0,0 @@
@comment $OpenBSD: PFRAG.shared,v 1.2 2012/08/18 21:57:24 avsm Exp $
lib/ocaml/stublibs/dllsqlite3_stubs.so

View File

@ -1,4 +1,4 @@
@comment $OpenBSD: PLIST,v 1.5 2015/08/30 15:50:24 avsm Exp $
@comment $OpenBSD: PLIST,v 1.6 2016/03/29 11:27:00 naddy Exp $
lib/ocaml/sqlite3/
lib/ocaml/sqlite3/META
lib/ocaml/sqlite3/libsqlite3_stubs.a
@ -9,8 +9,8 @@ lib/ocaml/sqlite3/sqlite3.cmt
lib/ocaml/sqlite3/sqlite3.cmti
lib/ocaml/sqlite3/sqlite3.mli
%%native%%
%%SHARED%%
@comment lib/ocaml/stublibs/
lib/ocaml/stublibs/dllsqlite3_stubs.so
@comment lib/ocaml/stublibs/dllsqlite3_stubs.so.owner
share/doc/ocaml-sqlite3/
share/doc/ocaml-sqlite3/api/

View File

@ -1,10 +1,10 @@
# $OpenBSD: Makefile,v 1.4 2015/08/30 16:18:48 avsm Exp $
# $OpenBSD: Makefile,v 1.5 2016/03/29 11:27:00 naddy Exp $
COMMENT= Erlang-style bitstrings for OCaml
DISTNAME= ocaml-bitstring-2.0.4
REVISION= 1
REVISION= 2
CATEGORIES= devel

View File

@ -1,3 +0,0 @@
@comment $OpenBSD: PFRAG.shared,v 1.1.1.1 2013/12/05 14:38:18 jca Exp $
lib/ocaml/stublibs/dllbitstring.so
@comment lib/ocaml/stublibs/dllbitstring.so.owner

View File

@ -1,6 +1,5 @@
@comment $OpenBSD: PLIST,v 1.1.1.1 2013/12/05 14:38:18 jca Exp $
@comment $OpenBSD: PLIST,v 1.2 2016/03/29 11:27:00 naddy Exp $
%%native%%
%%SHARED%%
lib/ocaml/bitstring/
lib/ocaml/bitstring/META
lib/ocaml/bitstring/bitstring.cma
@ -11,3 +10,5 @@ lib/ocaml/bitstring/bitstring_persistent.cmi
lib/ocaml/bitstring/bitstring_persistent.mli
lib/ocaml/bitstring/libbitstring.a
lib/ocaml/bitstring/pa_bitstring.cmo
lib/ocaml/stublibs/dllbitstring.so
@comment lib/ocaml/stublibs/dllbitstring.so.owner

View File

@ -1,9 +1,9 @@
# $OpenBSD: Makefile,v 1.5 2015/08/30 16:18:48 avsm Exp $
# $OpenBSD: Makefile,v 1.6 2016/03/29 11:27:00 naddy Exp $
COMMENT= curses / ncurses bindings for OCaml
DISTNAME= ocaml-curses-1.0.3
REVISION= 2
REVISION= 3
CATEGORIES= devel
HOMEPAGE= http://www.nongnu.org/ocaml-tmk/

View File

@ -1,3 +0,0 @@
@comment $OpenBSD: PFRAG.shared,v 1.1.1.1 2012/11/06 20:53:47 jasper Exp $
lib/ocaml/stublibs/dllcurses_stubs.so
@comment lib/ocaml/stublibs/dllcurses_stubs.so.owner

View File

@ -1,5 +1,4 @@
@comment $OpenBSD: PLIST,v 1.1.1.1 2012/11/06 20:53:47 jasper Exp $
%%SHARED%%
@comment $OpenBSD: PLIST,v 1.2 2016/03/29 11:27:00 naddy Exp $
%%native%%
lib/ocaml/curses/
lib/ocaml/curses/META
@ -8,6 +7,8 @@ lib/ocaml/curses/curses.cmi
lib/ocaml/curses/curses.mli
lib/ocaml/curses/keys.cmi
lib/ocaml/curses/libcurses_stubs.a
lib/ocaml/stublibs/dllcurses_stubs.so
@comment lib/ocaml/stublibs/dllcurses_stubs.so.owner
share/doc/ocaml-curses/
share/doc/ocaml-curses/CHANGES
share/doc/ocaml-curses/html/

View File

@ -1,4 +1,4 @@
# $OpenBSD: Makefile,v 1.15 2015/08/30 15:59:21 avsm Exp $
# $OpenBSD: Makefile,v 1.16 2016/03/29 11:27:01 naddy Exp $
COMMENT = library for manipulating the terminal
CATEGORIES = devel
@ -10,6 +10,7 @@ GH_PROJECT = lambda-term
GH_TAGNAME = $V
DISTNAME = ${GH_PROJECT}-${V}
PKGNAME = ocaml-${DISTNAME}
REVISION = 0
# BSD3
PERMIT_PACKAGE_CDROM = Yes

View File

@ -1,2 +0,0 @@
@comment $OpenBSD: PFRAG.shared,v 1.1.1.1 2012/08/18 22:56:33 avsm Exp $
lib/ocaml/stublibs/dlllambda-term_stubs.so

View File

@ -1,5 +1,4 @@
@comment $OpenBSD: PLIST,v 1.5 2015/08/30 15:59:21 avsm Exp $
%%SHARED%%
@comment $OpenBSD: PLIST,v 1.6 2016/03/29 11:27:01 naddy Exp $
%%native%%
@bin bin/lambda-term-actions
lib/ocaml/lambda-term/
@ -96,6 +95,7 @@ lib/ocaml/lambda-term/lTerm_windows.cmti
lib/ocaml/lambda-term/lTerm_windows.mli
lib/ocaml/lambda-term/lambda-term.cma
lib/ocaml/lambda-term/liblambda-term_stubs.a
lib/ocaml/stublibs/dlllambda-term_stubs.so
@comment lib/ocaml/stublibs/dlllambda-term_stubs.so.owner
@man man/man1/lambda-term-actions.1
@man man/man5/lambda-term-inputrc.5

View File

@ -1,4 +1,4 @@
# $OpenBSD: Makefile,v 1.19 2016/01/17 17:29:08 sthen Exp $
# $OpenBSD: Makefile,v 1.20 2016/03/29 11:27:01 naddy Exp $
COMMENT = cooperative lightweight thread library
CATEGORIES = devel
@ -6,7 +6,7 @@ CATEGORIES = devel
GH_ACCOUNT = ocsigen
GH_PROJECT = lwt
GH_TAGNAME = 2.4.8
REVISION = 0
REVISION = 1
# This is not the latest upstream version, but the last one that is most
# compatible due to an API change. Be careful about upgrading to lwt-2.5.0
# without checking that no in-tree ports break due to new buffer APIs.

View File

@ -1,3 +0,0 @@
@comment $OpenBSD: PFRAG.shared,v 1.1.1.1 2012/08/19 00:27:50 avsm Exp $
lib/ocaml/stublibs/dlllwt-glib_stubs.so
lib/ocaml/stublibs/dlllwt-unix_stubs.so

View File

@ -1,5 +1,4 @@
@comment $OpenBSD: PLIST,v 1.3 2015/08/30 16:01:16 avsm Exp $
%%SHARED%%
@comment $OpenBSD: PLIST,v 1.4 2016/03/29 11:27:01 naddy Exp $
%%native%%
@bin bin/ppx_lwt
lib/ocaml/lwt/
@ -178,5 +177,7 @@ lib/ocaml/lwt/ppx_lwt.cmi
lib/ocaml/lwt/ppx_lwt.cmt
lib/ocaml/lwt/ppx_lwt.cmti
lib/ocaml/lwt/ppx_lwt.mli
lib/ocaml/stublibs/dlllwt-glib_stubs.so
@comment lib/ocaml/stublibs/dlllwt-glib_stubs.so.owner
lib/ocaml/stublibs/dlllwt-unix_stubs.so
@comment lib/ocaml/stublibs/dlllwt-unix_stubs.so.owner

View File

@ -1,4 +1,4 @@
# $OpenBSD: Makefile,v 1.10 2015/08/30 16:02:11 avsm Exp $
# $OpenBSD: Makefile,v 1.11 2016/03/29 11:27:00 naddy Exp $
COMMENT = the Ocamlnet internet protocol foundation library
CATEGORIES = devel www mail
@ -6,6 +6,7 @@ CATEGORIES = devel www mail
V = 4.0.2
DISTNAME = ocamlnet-${V}
PKGNAME = ocaml-net-${V}
REVISION = 0
MASTER_SITES = http://download.camlcity.org/download/
HOMEPAGE = http://projects.camlcity.org/projects/ocamlnet.html

View File

@ -1,7 +0,0 @@
@comment $OpenBSD: PFRAG.shared,v 1.3 2014/09/01 13:03:39 chrisz Exp $
lib/ocaml/stublibs/dllnetaccel_c.so
@comment lib/ocaml/stublibs/dllnetaccel_c.so.owner
lib/ocaml/stublibs/dllnetsys.so
@comment lib/ocaml/stublibs/dllnetsys.so.owner
lib/ocaml/stublibs/dllrpc_auth_local.so
@comment lib/ocaml/stublibs/dllrpc_auth_local.so.owner

View File

@ -1,5 +1,4 @@
@comment $OpenBSD: PLIST,v 1.5 2015/08/30 16:02:11 avsm Exp $
%%SHARED%%
@comment $OpenBSD: PLIST,v 1.6 2016/03/29 11:27:00 naddy Exp $
%%native%%
@bin bin/netplex-admin
@bin bin/ocamlrpcgen
@ -603,6 +602,12 @@ lib/ocaml/shell/shell_sys.cmi
lib/ocaml/shell/shell_sys.mli
lib/ocaml/shell/shell_uq.cmi
lib/ocaml/shell/shell_uq.mli
lib/ocaml/stublibs/dllnetaccel_c.so
@comment lib/ocaml/stublibs/dllnetaccel_c.so.owner
lib/ocaml/stublibs/dllnetsys.so
@comment lib/ocaml/stublibs/dllnetsys.so.owner
lib/ocaml/stublibs/dllrpc_auth_local.so
@comment lib/ocaml/stublibs/dllrpc_auth_local.so.owner
share/doc/ocaml-net/
share/doc/ocaml-net/ChangeLog
share/doc/ocaml-net/LICENSE

View File

@ -1,4 +1,4 @@
# $OpenBSD: Makefile,v 1.3 2015/09/18 10:43:27 jca Exp $
# $OpenBSD: Makefile,v 1.4 2016/03/29 11:27:00 naddy Exp $
COMMENT = OCaml parallel map primitive for multicores
CATEGORIES = devel
@ -9,6 +9,7 @@ DISTNAME = ocaml-parmap-$V
DISTFILES = ${DISTNAME}{$V}.tar.gz
WRKDIST = ${WRKDIR}/parmap-$V
PKGNAME = ocaml-parmap-${V:S/-//}
REVISION = 0
MASTER_SITES = https://github.com/rdicosmo/parmap/archive/
HOMEPAGE = https://github.com/rdicosmo/parmap

View File

@ -1,2 +0,0 @@
@comment $OpenBSD: PFRAG.shared,v 1.1 2015/09/17 17:18:35 jca Exp $
lib/ocaml/stublibs/dllparmap_stubs.so

View File

@ -1,5 +1,4 @@
@comment $OpenBSD: PLIST,v 1.2 2015/09/17 17:18:35 jca Exp $
%%SHARED%%
@comment $OpenBSD: PLIST,v 1.3 2016/03/29 11:27:00 naddy Exp $
%%native%%
lib/ocaml/parmap/
lib/ocaml/parmap/META
@ -13,5 +12,6 @@ lib/ocaml/parmap/parmap_utils.cmi
lib/ocaml/parmap/parmap_utils.mli
lib/ocaml/parmap/setcore.cmi
lib/ocaml/parmap/setcore.mli
lib/ocaml/stublibs/dllparmap_stubs.so
@comment lib/ocaml/stublibs/dllparmap_stubs.so.owner
@man man/man3/Parmap.3o

View File

@ -1,4 +1,4 @@
# $OpenBSD: Makefile,v 1.9 2015/08/30 16:02:58 avsm Exp $
# $OpenBSD: Makefile,v 1.10 2016/03/29 11:27:00 naddy Exp $
COMMENT = OCaml Perl-compatible regexp library
CATEGORIES = devel textproc
@ -7,6 +7,7 @@ V = 7.1.5
NAME = ocaml-pcre
DISTNAME = pcre-ocaml-$V
PKGNAME = ${NAME}-$V
REVISION = 0
MASTER_SITES = https://github.com/mmottl/pcre-ocaml/releases/download/v${V}/
HOMEPAGE = https://github.com/mmottl/pcre-ocaml

View File

@ -1,2 +0,0 @@
@comment $OpenBSD: PFRAG.shared,v 1.2 2012/07/18 08:04:11 sthen Exp $
lib/ocaml/stublibs/dllpcre_stubs.so

View File

@ -1,5 +1,4 @@
@comment $OpenBSD: PLIST,v 1.4 2015/08/30 16:02:58 avsm Exp $
%%SHARED%%
@comment $OpenBSD: PLIST,v 1.5 2016/03/29 11:27:00 naddy Exp $
%%native%%
lib/ocaml/pcre/
lib/ocaml/pcre/META
@ -10,6 +9,7 @@ lib/ocaml/pcre/pcre.cmi
lib/ocaml/pcre/pcre.cmt
lib/ocaml/pcre/pcre.cmti
lib/ocaml/pcre/pcre.mli
lib/ocaml/stublibs/dllpcre_stubs.so
@comment lib/ocaml/stublibs/dllpcre_stubs.so.owner
share/doc/ocaml-pcre/
share/doc/ocaml-pcre/api/

View File

@ -1,4 +1,4 @@
# $OpenBSD: Makefile,v 1.9 2015/08/30 16:06:34 avsm Exp $
# $OpenBSD: Makefile,v 1.10 2016/03/29 11:27:01 naddy Exp $
COMMENT= image manipulation functions for Objective Caml
CATEGORIES= graphics
@ -6,6 +6,7 @@ CATEGORIES= graphics
V= 4.2.1
DISTNAME= camlimages-$V
PKGNAME= ocaml-${DISTNAME}
REVISION= 0
DISTFILES= $V.tar.gz
# XXX bogus filename; fix at next update, see new DISTFILES syntax with {}
MASTER_SITES= https://bitbucket.org/camlspotter/camlimages/get/

View File

@ -1,10 +0,0 @@
@comment $OpenBSD: PFRAG.shared,v 1.2 2015/08/30 16:06:35 avsm Exp $
lib/ocaml/stublibs/dllcamlimages_all_formats.so
lib/ocaml/stublibs/dllcamlimages_exif.so
lib/ocaml/stublibs/dllcamlimages_freetype.so
lib/ocaml/stublibs/dllcamlimages_gif.so
lib/ocaml/stublibs/dllcamlimages_jpeg.so
lib/ocaml/stublibs/dllcamlimages_png.so
lib/ocaml/stublibs/dllcamlimages_supported.so
lib/ocaml/stublibs/dllcamlimages_tiff.so
lib/ocaml/stublibs/dllcamlimages_xpm.so

View File

@ -1,6 +1,5 @@
@comment $OpenBSD: PLIST,v 1.2 2015/08/30 16:06:35 avsm Exp $
@comment $OpenBSD: PLIST,v 1.3 2016/03/29 11:27:01 naddy Exp $
@conflict camlimages-*
%%SHARED%%
%%native%%
lib/ocaml/camlimages/
lib/ocaml/camlimages/META
@ -116,6 +115,25 @@ lib/ocaml/camlimages/xpm.cmi
lib/ocaml/camlimages/xpm.mli
lib/ocaml/camlimages/xvthumb.cmi
lib/ocaml/camlimages/xvthumb.mli
@comment lib/ocaml/stublibs/
lib/ocaml/stublibs/dllcamlimages_all_formats.so
@comment lib/ocaml/stublibs/dllcamlimages_all_formats.so.owner
lib/ocaml/stublibs/dllcamlimages_exif.so
@comment lib/ocaml/stublibs/dllcamlimages_exif.so.owner
lib/ocaml/stublibs/dllcamlimages_freetype.so
@comment lib/ocaml/stublibs/dllcamlimages_freetype.so.owner
lib/ocaml/stublibs/dllcamlimages_gif.so
@comment lib/ocaml/stublibs/dllcamlimages_gif.so.owner
lib/ocaml/stublibs/dllcamlimages_jpeg.so
@comment lib/ocaml/stublibs/dllcamlimages_jpeg.so.owner
lib/ocaml/stublibs/dllcamlimages_png.so
@comment lib/ocaml/stublibs/dllcamlimages_png.so.owner
lib/ocaml/stublibs/dllcamlimages_supported.so
@comment lib/ocaml/stublibs/dllcamlimages_supported.so.owner
lib/ocaml/stublibs/dllcamlimages_tiff.so
@comment lib/ocaml/stublibs/dllcamlimages_tiff.so.owner
lib/ocaml/stublibs/dllcamlimages_xpm.so
@comment lib/ocaml/stublibs/dllcamlimages_xpm.so.owner
@comment share/examples/camlimages/.cvsignore
@comment share/examples/camlimages/converter/.cvsignore
@comment share/examples/camlimages/crop/.cvsignore
@ -131,17 +149,6 @@ lib/ocaml/camlimages/xvthumb.mli
@comment share/examples/camlimages/resize/.cvsignore
@comment share/examples/camlimages/tiffps/.cvsignore
@comment share/examples/camlimages/ttfimg/.cvsignore
@comment lib/ocaml/stublibs/
@comment lib/ocaml/stublibs/dllcamlimages_all.so.owner
@comment lib/ocaml/stublibs/dllcamlimages_all_formats.so.owner
@comment lib/ocaml/stublibs/dllcamlimages_exif.so.owner
@comment lib/ocaml/stublibs/dllcamlimages_freetype.so.owner
@comment lib/ocaml/stublibs/dllcamlimages_gif.so.owner
@comment lib/ocaml/stublibs/dllcamlimages_jpeg.so.owner
@comment lib/ocaml/stublibs/dllcamlimages_png.so.owner
@comment lib/ocaml/stublibs/dllcamlimages_supported.so.owner
@comment lib/ocaml/stublibs/dllcamlimages_tiff.so.owner
@comment lib/ocaml/stublibs/dllcamlimages_xpm.so.owner
share/examples/ocaml-camlimages/
@comment share/examples/ocaml-camlimages/.cvsignore
share/examples/ocaml-camlimages/OMakefile

View File

@ -1,4 +1,4 @@
# $OpenBSD: Makefile,v 1.70 2016/02/29 23:42:51 mmcc Exp $
# $OpenBSD: Makefile,v 1.71 2016/03/29 11:27:00 naddy Exp $
NOT_FOR_ARCHS= hppa
@ -11,7 +11,7 @@ COMMENT-graphics = OCaml Graphics library providing basic drawing primitives
# Do check that the ports that depend on it still work, or repair them.
# Don't forget to bump version in ocaml.port.mk, too!
VERSION=4.02.3
REVISION= 0
REVISION= 1
PKGNAME-main = ocaml-${VERSION}
PKGNAME-graphics = ocaml-graphics-${VERSION}

View File

@ -1,2 +0,0 @@
@comment $OpenBSD: PFRAG.shared-graphics,v 1.1 2014/08/21 20:54:04 chrisz Exp $
lib/ocaml/stublibs/dllgraphics.so

View File

@ -1,9 +0,0 @@
@comment $OpenBSD: PFRAG.shared-main,v 1.1 2014/08/21 20:54:04 chrisz Exp $
lib/ocaml/libcamlrun_shared.so
lib/ocaml/stublibs/
lib/ocaml/stublibs/dllbigarray.so
lib/ocaml/stublibs/dllcamlstr.so
lib/ocaml/stublibs/dllnums.so
lib/ocaml/stublibs/dllthreads.so
lib/ocaml/stublibs/dllunix.so
lib/ocaml/stublibs/dllvmthreads.so

View File

@ -1,9 +1,9 @@
@comment $OpenBSD: PLIST-graphics,v 1.1 2014/08/21 20:54:04 chrisz Exp $
@comment $OpenBSD: PLIST-graphics,v 1.2 2016/03/29 11:27:00 naddy Exp $
%%native%%
%%SHARED%%
lib/ocaml/graphics.cma
lib/ocaml/graphics.cmi
lib/ocaml/graphics.mli
lib/ocaml/graphicsX11.cmi
lib/ocaml/graphicsX11.mli
lib/ocaml/libgraphics.a
lib/ocaml/stublibs/dllgraphics.so

View File

@ -1,6 +1,5 @@
@comment $OpenBSD: PLIST-main,v 1.6 2015/08/30 15:38:32 avsm Exp $
@comment $OpenBSD: PLIST-main,v 1.7 2016/03/29 11:27:00 naddy Exp $
%%native%%
%%SHARED%%
@bin bin/ocaml
@bin bin/ocamlbuild
@bin bin/ocamlbuild.byte
@ -442,6 +441,7 @@ lib/ocaml/lexing.mli
lib/ocaml/libbigarray.a
lib/ocaml/libcamlrun.a
lib/ocaml/libcamlrun_pic.a
lib/ocaml/libcamlrun_shared.so
lib/ocaml/libcamlstr.a
lib/ocaml/libnums.a
lib/ocaml/libthreads.a
@ -633,6 +633,13 @@ lib/ocaml/stringLabels.cmt
lib/ocaml/stringLabels.cmti
lib/ocaml/stringLabels.ml
lib/ocaml/stringLabels.mli
lib/ocaml/stublibs/
lib/ocaml/stublibs/dllbigarray.so
lib/ocaml/stublibs/dllcamlstr.so
lib/ocaml/stublibs/dllnums.so
lib/ocaml/stublibs/dllthreads.so
lib/ocaml/stublibs/dllunix.so
lib/ocaml/stublibs/dllvmthreads.so
lib/ocaml/sys.cmi
lib/ocaml/sys.cmt
lib/ocaml/sys.cmti

View File

@ -1,10 +1,10 @@
# $OpenBSD: Makefile,v 1.32 2015/08/30 16:34:41 avsm Exp $
# $OpenBSD: Makefile,v 1.33 2016/03/29 11:27:01 naddy Exp $
COMMENT= proof assistant based on a typed lambda calculus
V= 8.4pl6
DISTNAME= coq-$V
REVISION= 0
REVISION= 1
CATEGORIES= math
HOMEPAGE= http://coq.inria.fr/

View File

@ -1,2 +0,0 @@
@comment $OpenBSD: PFRAG.shared,v 1.1 2013/01/04 11:07:29 chrisz Exp $
lib/coq/dllcoqrun.so

View File

@ -1,5 +1,4 @@
@comment $OpenBSD: PLIST,v 1.8 2015/06/19 21:25:32 daniel Exp $
%%SHARED%%
@comment $OpenBSD: PLIST,v 1.9 2016/03/29 11:27:01 naddy Exp $
%%native%%
@bin bin/coq-tex
@bin bin/coq_makefile
@ -19,6 +18,7 @@ lib/coq/
lib/coq/config/
lib/coq/config/coq_config.cmi
lib/coq/config/coq_config.cmo
lib/coq/dllcoqrun.so
lib/coq/ide/
lib/coq/ide/command_windows.cmi
lib/coq/ide/config_lexer.cmi

View File

@ -1,10 +1,11 @@
# $OpenBSD: Makefile,v 1.7 2015/08/30 16:07:09 avsm Exp $
# $OpenBSD: Makefile,v 1.8 2016/03/29 11:27:00 naddy Exp $
COMMENT= cryptographic framework for the Objective-ML language
CATEGORIES= security
DISTNAME= cryptokit-1.10
PKGNAME= ocaml-${DISTNAME}
REVISION= 0
MASTER_SITES= http://forge.ocamlcore.org/frs/download.php/1493/
MAINTAINER= Anil Madhavapeddy <avsm@openbsd.org>

View File

@ -1,2 +0,0 @@
@comment $OpenBSD: PFRAG.shared,v 1.1 2012/08/18 22:40:36 avsm Exp $
lib/ocaml/stublibs/dllcryptokit_stubs.so

View File

@ -1,7 +1,6 @@
@comment $OpenBSD: PLIST,v 1.3 2015/08/30 16:07:09 avsm Exp $
@comment $OpenBSD: PLIST,v 1.4 2016/03/29 11:27:00 naddy Exp $
@conflict cryptokit-*
@pkgpath security/cryptokit
%%SHARED%%
lib/ocaml/cryptokit/
lib/ocaml/cryptokit/META
lib/ocaml/cryptokit/cryptokit.cma
@ -9,6 +8,7 @@ lib/ocaml/cryptokit/cryptokit.cmi
lib/ocaml/cryptokit/cryptokit.mli
lib/ocaml/cryptokit/libcryptokit_stubs.a
%%native%%
lib/ocaml/stublibs/dllcryptokit_stubs.so
@comment lib/ocaml/stublibs/dllcryptokit_stubs.so.owner
share/doc/ocaml-cryptokit/
share/doc/ocaml-cryptokit/Cryptokit.Base64.html

View File

@ -1,10 +1,11 @@
# $OpenBSD: Makefile,v 1.8 2015/10/09 00:28:23 jca Exp $
# $OpenBSD: Makefile,v 1.9 2016/03/29 11:27:00 naddy Exp $
COMMENT = OCaml bindings for libssl
CATEGORIES = devel security
NAME = ocaml-ssl
DISTNAME = ${NAME}-0.5.1
REVISION = 0
MASTER_SITES = ${MASTER_SITE_SOURCEFORGE:=savonet/ocaml-ssl/}
HOMEPAGE = http://sourceforge.net/projects/savonet/files/ocaml-ssl/

View File

@ -1,3 +0,0 @@
@comment $OpenBSD: PFRAG.shared,v 1.1.1.1 2012/08/18 22:34:57 avsm Exp $
lib/ocaml/stublibs/dllssl_stubs.so
lib/ocaml/stublibs/dllssl_threads_stubs.so

View File

@ -1,5 +1,4 @@
@comment $OpenBSD: PLIST,v 1.2 2015/10/09 00:28:24 jca Exp $
%%SHARED%%
@comment $OpenBSD: PLIST,v 1.3 2016/03/29 11:27:00 naddy Exp $
%%native%%
lib/ocaml/ssl/
lib/ocaml/ssl/META
@ -11,7 +10,9 @@ lib/ocaml/ssl/ssl.mli
lib/ocaml/ssl/ssl_threads.cma
lib/ocaml/ssl/ssl_threads.cmi
lib/ocaml/ssl/ssl_threads.mli
lib/ocaml/stublibs/dllssl_stubs.so
@comment lib/ocaml/stublibs/dllssl_stubs.so.owner
lib/ocaml/stublibs/dllssl_threads_stubs.so
@comment lib/ocaml/stublibs/dllssl_threads_stubs.so.owner
share/doc/ocaml-ssl/
share/doc/ocaml-ssl/CHANGES

View File

@ -1,11 +1,11 @@
# $OpenBSD: Makefile,v 1.7 2014/09/02 09:24:45 chrisz Exp $
# $OpenBSD: Makefile,v 1.8 2016/03/29 11:27:00 naddy Exp $
COMMENT = library for dealing with unicode text
CATEGORIES = devel textproc
NAME = ocaml-text
DISTNAME = ${NAME}-0.6
REVISION = 2
REVISION = 3
MASTER_SITES = https://forge.ocamlcore.org/frs/download.php/937/
HOMEPAGE = http://ocaml-text.forge.ocamlcore.org/

View File

@ -1,3 +0,0 @@
@comment $OpenBSD: PFRAG.shared,v 1.1.1.1 2012/08/18 22:49:29 avsm Exp $
lib/ocaml/stublibs/dlltext-bigarray_stubs.so
lib/ocaml/stublibs/dlltext_stubs.so

View File

@ -1,7 +1,8 @@
@comment $OpenBSD: PLIST,v 1.1.1.1 2012/08/18 22:49:29 avsm Exp $
%%SHARED%%
@comment $OpenBSD: PLIST,v 1.2 2016/03/29 11:27:00 naddy Exp $
%%native%%
lib/ocaml/stublibs/dlltext-bigarray_stubs.so
@comment lib/ocaml/stublibs/dlltext-bigarray_stubs.so.owner
lib/ocaml/stublibs/dlltext_stubs.so
@comment lib/ocaml/stublibs/dlltext_stubs.so.owner
lib/ocaml/text/
lib/ocaml/text/META

View File

@ -1,4 +1,4 @@
# $OpenBSD: Makefile,v 1.36 2015/08/30 16:35:15 avsm Exp $
# $OpenBSD: Makefile,v 1.37 2016/03/29 11:27:01 naddy Exp $
COMMENT = OCaml interface to GTK+2
@ -6,7 +6,7 @@ V = 2.18.3
DISTNAME = lablgtk-$V
PKGNAME = lablgtk2-$V
CATEGORIES = x11 devel
REVISION = 1
REVISION = 2
HOMEPAGE = http://lablgtk.forge.ocamlcore.org/
MASTER_SITES = https://forge.ocamlcore.org/frs/download.php/1479/

View File

@ -1,6 +0,0 @@
@comment $OpenBSD: PFRAG.shared,v 1.4 2014/04/21 21:45:35 jca Exp $
lib/ocaml/stublibs/dlllablglade2.so
lib/ocaml/stublibs/dlllablgnomecanvas.so
lib/ocaml/stublibs/dlllablgtk2.so
lib/ocaml/stublibs/dlllablgtksourceview2.so
lib/ocaml/stublibs/dlllablrsvg.so

View File

@ -1,5 +1,4 @@
@comment $OpenBSD: PLIST,v 1.11 2014/04/21 21:45:35 jca Exp $
%%SHARED%%
@comment $OpenBSD: PLIST,v 1.12 2016/03/29 11:27:01 naddy Exp $
%%native%%
bin/gdk_pixbuf_mlsource
bin/lablgladecc2
@ -283,5 +282,10 @@ lib/ocaml/lablgtk2/xml_lexer.mli
lib/ocaml/site-lib/
lib/ocaml/site-lib/lablgtk2/
lib/ocaml/site-lib/lablgtk2/META
lib/ocaml/stublibs/dlllablglade2.so
lib/ocaml/stublibs/dlllablgnomecanvas.so
lib/ocaml/stublibs/dlllablgtk2.so
lib/ocaml/stublibs/dlllablgtksourceview2.so
lib/ocaml/stublibs/dlllablrsvg.so
share/doc/lablgtk2/
share/doc/lablgtk2/README