I've been running this coq update for a while. ok?
Here are the changes:
Compilation
- Coq compilation made possible with forthcoming ocaml 4.03.
Bug fixes
- Bug #4157: proof of False via vm compute on inductive with many
constructors.
- Bug #3491: anomaly when building _rect scheme in the
CVSROOT:/cvs
Module name:ports
Changes by: dan...@cvs.openbsd.org 2015/05/04 16:03:20
Modified files:
graphics/py-matplotlib: Makefile
graphics/py-matplotlib/pkg: PLIST
Log message:
Add python3 flavor. Diff provided by Dawe. Thanks!
ok aja@
CVSROOT:/cvs
Module name:ports
Changes by: dan...@cvs.openbsd.org 2015/05/04 16:05:31
Modified files:
graphics : Makefile
Log message:
+py-matplotlib,python3
CVSROOT:/cvs
Module name:ports
Changes by: dan...@cvs.openbsd.org 2015/04/30 18:40:34
Modified files:
devel : Makefile
Log message:
+csmith
CVSROOT:/cvs
Module name:ports
Changes by: dan...@cvs.openbsd.org 2015/04/30 18:38:29
Log message:
import csmith.
Csmith is a tool that can generate random C programs that statically
and dynamically conform to the C99 standard. It is useful for
stress-testing
CVSROOT:/cvs
Module name:ports
Changes by: dan...@cvs.openbsd.org 2015/02/14 23:07:22
Modified files:
sysutils/firmware/iwm: Makefile
sysutils/firmware/iwn: Makefile
sysutils/firmware/wpi: Makefile
Log message:
update MASTER_SITES.
ok sthen@
-testing compilers, static analyzers, and other tools that
process C code. Csmith has found bugs in every tool that it has
tested, and we have used it to find and report more than 400
previously-unknown compiler bugs.
Maintainer: Daniel Dickman dan...@openbsd.org
WWW: http://embed.cs.utah.edu
WANTLIB in the port should actually be:
-WANTLIB+= c util z
+WANTLIB+= c m stdc++
On Sun, Jan 18, 2015 at 3:03 PM, Daniel Dickman didick...@gmail.com wrote:
Here's a port for csmith: a C compiler fuzzer. Ok to import?
$ pkg_info csmith
Information for inst:csmith-2.2.0
Comment
CVSROOT:/cvs
Module name:ports
Changes by: dan...@cvs.openbsd.org 2015/01/16 02:10:56
ports/devel/ocaml-menhir/patches
Update of /cvs/ports/devel/ocaml-menhir/patches
In directory cvs.openbsd.org:/tmp/cvs-serv20965/patches
Log Message:
Directory
CVSROOT:/cvs
Module name:ports
Changes by: dan...@cvs.openbsd.org 2015/01/16 02:20:47
Modified files:
devel/ocaml-menhir: Makefile
devel/ocaml-menhir/pkg: PLIST
Added files:
devel/ocaml-menhir/patches: patch-Makefile patch-src_Makefile
Log message:
CVSROOT:/cvs
Module name:ports
Changes by: dan...@cvs.openbsd.org 2015/01/15 05:14:41
Log message:
import ocaml-menhir with tweaks from avsm@, jca@. Only enabled on i386
and amd64 for now because it fails to build on non-native archs.
ok sthen@, jca@, looks good
CVSROOT:/cvs
Module name:ports
Changes by: dan...@cvs.openbsd.org 2015/01/15 05:23:26
Modified files:
devel : Makefile
Log message:
+ocaml-menhir
CVSROOT:/cvs
Module name:ports
Changes by: dan...@cvs.openbsd.org 2015/01/14 18:15:12
Modified files:
www/lynx : Makefile distinfo
Added files:
www/lynx/patches: patch-lynx_cfg
Log message:
Update lynx to 2.8.9dev.3; ok bcallah@ (MAINTAINER).
CVSROOT:/cvs
Module name:ports
Changes by: dan...@cvs.openbsd.org 2015/01/14 18:22:32
ports/emulators/fs-uae-launcher/patches
Update of /cvs/ports/emulators/fs-uae-launcher/patches
In directory cvs.openbsd.org:/tmp/cvs-serv22605/patches
Log Message:
Directory
CVSROOT:/cvs
Module name:ports
Changes by: dan...@cvs.openbsd.org 2015/01/14 18:28:06
Modified files:
emulators/fs-uae-launcher: Makefile
emulators/fs-uae-launcher/pkg: PLIST
Added files:
emulators/fs-uae-launcher/patches: patch-setup_py
Log message:
CVSROOT:/cvs
Module name:ports
Changes by: dan...@cvs.openbsd.org 2015/01/14 19:55:22
Modified files:
math/py-numpy : Makefile
math/py-numpy/patches:
patch-numpy_core_include_numpy_npy_common_h
Added files:
CVSROOT:/cvs
Module name:ports
Changes by: dan...@cvs.openbsd.org 2015/01/09 07:40:27
Modified files:
math/py-scipy : Makefile distinfo
math/py-scipy/pkg: PLIST
Added files:
math/py-scipy/patches: patch-scipy_weave_tests_test_catalog_py
Log message:
CVSROOT:/cvs
Module name:ports
Changes by: dan...@cvs.openbsd.org 2015/01/08 22:02:17
ports/math/py-scipy/patches
Update of /cvs/ports/math/py-scipy/patches
In directory cvs.openbsd.org:/tmp/cvs-serv12994/patches
Log Message:
Directory /cvs/ports/math/py-scipy/patches added to
DISTNAME= scipy-${MODPY_EGG_VERSION}
PKGNAME= py-${DISTNAME}
CATEGORIES=math devel
-MAINTAINER=Eric Faurot e...@openbsd.org
+MAINTAINER=Daniel Dickman dan...@openbsd.org
# BSD
PERMIT_PACKAGE_CDROM= Yes
@@ -40,6 +40,11
Here's an update of numpy to 1.9.1. This update fixes a number of issues,
especially on non-x86 platforms. For example on macppc:
https://github.com/numpy/numpy/issues/5027
Release notes can be found here:
http://docs.scipy.org/doc/numpy/release.html
Tested on i386. ok?
Index: Makefile
CVSROOT:/cvs
Module name:ports
Changes by: dan...@cvs.openbsd.org 2014/12/23 06:48:54
Modified files:
graphics/py-matplotlib: Makefile distinfo
graphics/py-matplotlib/patches: patch-setupext_py
graphics/py-matplotlib/pkg: PLIST
Log message:
Update
CVSROOT:/cvs
Module name:ports
Changes by: dan...@cvs.openbsd.org 2014/12/23 06:50:15
Added files:
graphics/py-matplotlib/patches:
patch-lib_matplotlib_testing_decorators_py
Log message:
Missed in previous.
= matplotlib-${MODPY_EGG_VERSION}
PKGNAME = py-${DISTNAME}
CATEGORIES = graphics devel math
HOMEPAGE= http://matplotlib.sourceforge.net/
+MAINTAINER=Daniel Dickman dan...@openbsd.org
+
# BSD-like
PERMIT_PACKAGE_CDROM= Yes
@@ -27,15 +28,19
CVSROOT:/cvs
Module name:ports
Changes by: dan...@cvs.openbsd.org 2014/12/20 17:12:09
Modified files:
graphics/py-Pillow: Makefile
Log message:
Remove no longer needed work-around following recent change in
python.port.mk.
CVSROOT:/cvs
Module name:ports
Changes by: dan...@cvs.openbsd.org 2014/12/20 22:01:42
Modified files:
devel/ipython : Makefile distinfo
devel/ipython/patches:
patch-IPython_core_tests_test_interactiveshell_py
CVSROOT:/cvs
Module name:ports
Changes by: dan...@cvs.openbsd.org 2014/12/16 17:27:23
Modified files:
devel/acpica : Makefile distinfo
devel/acpica/patches: patch-generate_unix_acpiexec_Makefile
CVSROOT:/cvs
Module name:ports
Changes by: dan...@cvs.openbsd.org 2014/12/16 17:31:52
Modified files:
lang/python: python.port.mk
Log message:
Fix MODPY_TKINTER_DEPENDS when MODPY_SETUPTOOLS=Yes.
ok sthen@
CVSROOT:/cvs
Module name:ports
Changes by: dan...@cvs.openbsd.org 2014/12/11 01:10:51
Modified files:
games/chocolate-doom: Makefile distinfo
games/chocolate-doom/pkg: DESCR PLIST
Log message:
chocolate-doom 2.1.0; from Ryan Freeman (MAINTAINER).
adds a change to the Makefile to raise the fd ulimit to
ensure the regress test passes from Daniel Dickman.
And here is another version of the port as sthen@ points
out the distfile was rerolled. Apparently for a workaround
for lahf / sahf on older releases of OpenBSD/amd64 before
http
CVSROOT:/cvs
Module name:ports
Changes by: dan...@cvs.openbsd.org 2014/11/17 19:00:52
Modified files:
math/coq : Makefile distinfo
Removed files:
math/coq/patches: patch-kernel_univ_ml patch-test-suite-Makefile
Log message:
coq update from chrisz@ and
CVSROOT:/cvs
Module name:ports
Changes by: dan...@cvs.openbsd.org 2014/11/17 19:07:17
Added files:
lang/gcc/4.2/patches: patch-libstdc++-v3_include_c_std_cstdio_h
patch-libstdc++-v3_include_c_std_std_cstdio_h
Log message:
Update to cope
CVSROOT:/cvs
Module name:ports
Changes by: dan...@cvs.openbsd.org 2014/09/16 18:46:13
Modified files:
math/py-numpy : Makefile distinfo
math/py-numpy/patches:
patch-numpy_core_include_numpy_npy_common_h
=Daniel Dickman dan...@openbsd.org
+
# BSD
PERMIT_PACKAGE_CDROM= Yes
@@ -21,10 +22,13 @@ MASTER_SITES= ${MASTER_SITE_SOURCEFORGE
MODULES= lang/python \
fortran
+FLAVORS= python3
+FLAVOR?=
+
MODPY_SETUPTOOLS= Yes
-MODPY_EGG_VERSION= 1.6.0
+MODPY_EGG_VERSION= 1.8.2
DISTNAME= numpy-${MODPY_EGG_VERSION}
PKGNAME= py-${DISTNAME}
-REVISION = 4
+
CATEGORIES=math devel
HOMEPAGE= http://numpy.scipy.org/
+
+MAINTAINER=Daniel Dickman dan
CVSROOT:/cvs
Module name:ports
Changes by: dan...@cvs.openbsd.org 2014/08/27 03:44:59
Modified files:
math/coq : Makefile distinfo
math/coq/patches: patch-test-suite-Makefile
Added files:
math/coq/patches: patch-kernel_univ_ml
Log message:
Update
On Mon, Jul 14, 2014 at 5:19 PM, Vadim Zhukov persg...@gmail.com wrote:
2014-07-14 21:48 GMT+02:00 Vadim Zhukov persg...@gmail.com:
2014-07-14 21:41 GMT+02:00 Rafael Sadowski raf...@sizeofvoid.org:
hey @ports,
Update to latest R, all regress pass, Ok?
Testing it now, thanks.
For those who
On Wed, Jul 9, 2014 at 8:57 AM, Remi Pointel remi.poin...@xiri.fr wrote:
Hi,
this is the diff to update Python to 2.7.8.
Thanks to daniel@ who added patches for regress tests on 2.7.7.
Are you ok?
works for me on i386. also tested with numpy 1.8.1 and a few local
scripts which all work
On May 20, 2014, at 11:08 AM, Lampshade lampsh...@poczta.fm wrote:
Hello
Is there any chance to include to current and in future to 5.6 newer version
of acpica
package? Currently in ports there is acpica-2023p0.tgz but ACPI Component
Architecture is under active development and
CVSROOT:/cvs
Module name:ports
Changes by: dan...@cvs.openbsd.org 2014/03/25 21:27:26
Modified files:
math/coq : Makefile distinfo
math/coq/patches: patch-configure patch-test-suite-Makefile
math/coq/pkg : PFRAG.dynlink-native PLIST
Log
The patch below is mostly from Yozo Toda. I've been running it for weeks
on i386. Be great to get this in.
Port changes:
- Update math/coq from 8.4pl2 to 8.4pl3
- Remove patches already integrated into upstream
- Add missing $OpenBSD$ tag to patch-test-suite-Makefile
- Move coqtop.opt.1 from
The web pages that were merged into the ports faq are still on the
website and people keep emailing around links to them and updating
them without remembering to update the ports faq.
This patch replaces each of the old pages with a redirect page to the
ports faq. Since it's a a bit on the large
regress tests worked fine on macppc. thanks.
On Wed, Dec 4, 2013 at 7:24 PM, Jérémie Courrèges-Anglas j...@wxcvbn.org
wrote:
j...@wxcvbn.org (Jérémie Courrèges-Anglas) writes:
Hi,
Daniel Dickman didick...@gmail.com writes:
I'm looking to get ocaml bitstring ported to OpenBSD.
I attached
I'm looking to get ocaml bitstring ported to OpenBSD.
I attached my work in progress. Anyone with more ocaml porting
experience willing to help me finish the port? I tested this on macppc
but I'm sure the pkg/* files and dependencies probably need more
work...
ocaml-bitstring.tgz
Description:
Since you are patching bin/intellij.sh anyway, why not just rip out all
the JAVA_HOME/JDK-HOME goo and use javaPathHelper like all the other Java
ports do?
Done; files/idea wrapper is not needed anymore then, so I zapped it. This
required adding a patch for readlink call, though. Thank you
netbeans updates are huge, i think it's better to gzip them or post
them on the web instead of just sending them in-line.
I've put some comments in-line below. but most importantly, the JDK
for 1.6 has changed from oracle/sun to openjdk. How much testing did
you do? I think it's important to do
On Fri, Mar 8, 2013 at 6:55 PM, Stuart Henderson s...@spacehopper.org wrote:
I think the Firefox 3.5 comments are probably because that version used to be
needed for Java support before we had icedtea-web. So probably we need to
talk about installing that and remove the text about symlinking
Here's a new port for camlp5 which is needed to fix BROKEN math/coq.
I have a working update for coq as well but need to clean it up a bit to
make it suitable for submission.
Note I am targeting coq 8.3 since it will some time for dependencies to
support 8.4 (which isn't released yet). To use
= intellij-${V}
CATEGORIES=devel
-REVISION= 2
-
HOMEPAGE= http://www.jetbrains.com/idea/
MAINTAINER=Daniel Dickman didick...@gmail.com
@@ -34,7 +32,7 @@
SUBST_VARS+= JAVA_HOME
-WRKDIST= ${WRKDIR}/idea-IC-95.627
+WRKDIST
Here's a port of leptonica. This port is a new required dependency for
graphics/tesseract so needs to be imported before tesseract can be updated
to the latest version.
# pkg_info leptonica
Information for inst:leptonica-1.68
Comment:
software used in image processing applications
Here's an update for openttd. Security and bug fixes, including:
- CVE-2011-3341
- CVE-2011-3342
- CVE-2011-3343
(See http://security.openttd.org). Please commit.
Index: Makefile
===
RCS file:
Here's a port for datalog. Similar to prolog in some respects. Looks like
a good recap of datalog vs. prolog can be found here:
http://stackoverflow.com/questions/3924654/datalog-vs-clips-vs-prolog
[~] pkg_info datalog
Information for inst:datalog-1.5
Comment:
subset of Prolog where all
- LIB_DEPENDS appears to have some redudant fluff, pango depends on glib, so
no need to depend on glib. cairo depends on png, so no need for png either.
thanks for taking a look. i've removed glib and png dependencies.
- could you please look at the systrace warnings during the build? i
On Thu, 14 Apr 2011, Ian Darwin wrote:
I get the same issue under 4.8. We should build /etc/rc.d script for
4.9, -current. Is any working one version 7?
Yes, I am working on tomcat7 with an rc script
What about the following diff?
Ciao,
David
Hi David,
I had a few thoughts on
Ok I did that. And now resending as inline diff and as attachment. But
there is no mention about the patch-bin_runant_pl being removed.
1. rm file
2. cvs rm file
3. cvs diff ...
don't worry about cvs commit... whoever decides to commit (and has commit
rights) will take care of that step...
Here's an update of intellij. Highlights of changes are here:
http://www.jetbrains.com/idea/whatsnew/index.html
Tested on amd64.
Index: Makefile
===
RCS file: /usr/cvs/ports/devel/intellij/Makefile,v
retrieving revision 1.10
diff -u
Here's an update for openttd. Tests/comments welcome. Full changelog is
here:
http://us.binaries.openttd.org/binaries/releases/1.1.0/changelog.txt
Index: Makefile
===
RCS file: /usr/cvs/ports/games/openttd/Makefile,v
retrieving
Hi Amit,
I didn't contact maintainer before sending out this email, just trying
out how to make a port.
Emailing maintainer, if somebody else like it, please commit.
You will likely want to start with this version from ian@ --
http://marc.info/?l=openbsd-portsm=128482205114198w=2
Also, an
- update to latest tomcat 5.5.
- use ${SUBST_CMD}
- add rc script
- kurt@ drops maintainership
Detailed changelog is here:
http://tomcat.apache.org/tomcat-5.5-doc/changelog.html
Index: Makefile
===
RCS file:
Hi Anton (and Michael),
Here is update for the OpenTTD port to the latest stable version. Ports
for OpenGFX, OpenMSX, and OpenSFX are included. Now OpenTTD could be
played without the non-free stuff. I've reordered the port a bit and
made some subdirs (or should it be done with multi
Add HOMEPAGE and fix MASTER_SITES.
The current port doesn't let me fetch lsof since lsof 4.84 is out which
means that the mirrors moved 4.83 into the OLD sub-directory. And the
purdue.edu site requires reverse DNS lookup before it allows access.
Index: Makefile
And here's a new diff with a correction from Alexandre Ratchov
(s/sio_open(4)/sio_open(3)/) and taking into account the commits by
ste...@.
On Tue, 27 Jul 2010, Daniel Dickman wrote:
Here's an update for the Porter's Handbook with the following changes:
- small html fix for ports/guide.html
Here's an update for the Porter's Handbook with the following changes:
- small html fix for ports/guide.html (duplicate br tags).
- reorder the text in ports/index.html -- extract comes before patch not
the other way around.
- sync ports/specialtopics.html with changes from lum@ made to
looks good to me. thanks.
On Jul 24, 2010, at 6:50 AM, Stuart Henderson s...@spacehopper.org wrote:
On 2010/07/23 18:04, Daniel Dickman wrote:
Here's an update of intellij to 9.0.3. Please review and commit. This was
tested on amd64.
Brief description here:
http://www.jetbrains.com/idea
Here's an update of intellij to 9.0.3. Please review and commit. This was
tested on amd64.
Brief description here:
http://www.jetbrains.com/idea/whatsnew/index.html
Detailed release notes are here:
http://confluence.jetbrains.net/display/IDEADEV/IDEA+9.0.3+Release+Notes
Index: Makefile
Update nut to 15.7 and fix DESCR which had gotten out of date. Also stop
patching the nut Makefile to add an install target, instead use an
explicit do-install target in the ports Makefile.
Tested on amd64.
Index: Makefile
===
On Sat, Jul 10, 2010 at 4:34 PM, Stuart Henderson s...@spacehopper.org wrote:
On 2010/07/10 21:55, Jiri B. wrote:
On Sat, 10 Jul 2010 20:28:40 +0200
Jiri B. ji...@live.com wrote:
On Thu, 8 Jul 2010 17:43:47 +0900
Ryan McBride mcbr...@openbsd.org wrote:
=== Checking files for
User settings means it is not ok to set in a port Makefile.
You will need to arrange to have it mirrored.
In this case, just removing FETCH_CMD works fine. Although not an
explicit link over at github.com that works so need for mirroring...
that should say _no_ need for mirroring.
# pkg_info p5-Search-Xapian
Information for inst:p5-Search-Xapian-1.0.17.0
Comment:
perl bindings for the xapian search library
Description:
Search::Xapian is a Perl interface to the Xapian C++ search library.
Xapian is a highly adaptable toolkit which allows developers to
easily add advanced
# pkg_info omnitab
Information for inst:omnitab-1.0
Comment:
spreadsheet statistics package
Description:
OMNITAB 80 is a high-level spreadsheet for statistical analysis.
OMNITAB, the precursor of Minitab(TM), was developed in the Statistical
Engineering Division of NIST.
Major capabilities
Fix the regress target for geo/jeoip by installing junit in the right
place.
Index: Makefile
===
RCS file: /usr/cvs/ports/java/junit/Makefile,v
retrieving revision 1.20
diff -u -r1.20 Makefile
--- Makefile9 Nov 2009 11:03:26
The regress target depends on junit.
Index: Makefile
===
RCS file: /usr/cvs/ports/geo/jeoip/Makefile,v
retrieving revision 1.7
diff -u -r1.7 Makefile
--- Makefile26 Apr 2009 09:38:25 - 1.7
+++ Makefile29 Apr 2010
Update intellij to 9.0.2. New features listed here:
http://www.jetbrains.com/idea/whatsnew/index.html
Also, remove the use of javaPathHelper based on a conversation with i...@.
If you have JDK 1.7 in your path, javaPathHelper will pick that up and
intellij will refuse to run. But since
# pkg_info JMS-2.0.tgz
Information for file:./JMS-2.0.tgz
Comment:
Sun's official Java VM Specification, 2nd Ed.
Description:
This is the official specification of The Java Virtual Machine.
ISBN-10: 0201432943
ISBN-13: 978-0201432947
Maintainer: The OpenBSD ports mailing-list ports@openbsd.org
port attached this time..
On Sat, May 1, 2010 at 12:39 AM, Daniel Dickman didick...@gmail.com wrote:
# pkg_info JMS-2.0.tgz
Information for file:./JMS-2.0.tgz
Comment:
Sun's official Java VM Specification, 2nd Ed.
Description:
This is the official specification of The Java Virtual Machine
Here is a new port for GeoGebra. There was an earlier attempt by Azwaw
Ousadou[1], but below is an independent effort by myself. Tested on
amd64.
# pkg_info geogebra
Information for inst:geogebra-3.2.41.0
Comment:
educational mathematical software
Description:
GeoGebra is free and
Here's a new port for OpenTaxSolver. Please let me know if there are
any comments or feedback.
# pkg_info opentaxsolver
Information for inst:opentaxsolver-7.07
Comment:
U.S. tax preparation software
Description:
OpenTaxSolver (OTS) is a free program for calculating Tax Form
entries and
Hi Vivien. Some comments after a quick look --
1) Have you contacted the MAINTAINER to work with them on an update?
2) I think you might have forgotten to do a make update-patches
3) I don't think the i18n files should be removed. They're still in
the 1.5 tar.gz source download, but looks like
Here's an update of p5-Spreadsheet-WriteExcel to the latest version.
Changelog can be found here:
http://cpansearch.perl.org/src/JMCNAMARA/Spreadsheet-WriteExcel-2.37/Changes
All regression tests ran successfully for me on amd64.
Index: Makefile
Here's an update of p5-Spreadsheet-ParseExcel to the latest.
Index: Makefile
===
RCS file: /usr/cvs/ports/misc/p5-Spreadsheet-ParseExcel/Makefile,v
retrieving revision 1.9
diff -u -r1.9 Makefile
--- Makefile11 Oct 2009 09:44:59
I prepare an update to cmake from version 2.4.8 to 2.8.0.
Please test this update for me. On x86 it builds without any problems.
CMake tends to be platform-independent, so I think, It should work on
different CPU architectures.
Hi Michal, couple questions on this.
- any reason not to use
Sent to tech@ accidentally earlier... resending to the proper mailing
list...
--
The shell script to launch jbrickshooter depends on having the JRE
installed and fails if only the JDK is available.
# jbrickshooter
Are you sure the certs we add were not merged upstream ?
As far as I can see, cacert.org won't be added anytime soon. (See these
comments on the mozilla bug tracker):
https://bugzilla.mozilla.org/show_bug.cgi?id=215243#c158
https://bugzilla.mozilla.org/show_bug.cgi?id=215243#c190
Also, this
Hello ports@,
Please commit this fix as soon as ports are unlocked.
This fixes a nasty segfault on amd64
Confirmed on my end too. Here is another version of the patch which also
bumps PKGNAME and updates PLIST and DESCR.
Also, keyword substitution should probably be turned off when checking
[Just sending this out now so it doesn't get lost. But intended for
post-4.7]
ANT_HOME isn't really set up to the best default which causes problems.
Currently it's set to /usr/local, but would be better if it were
/usr/local/ant. This change fixes problems in apps that use a build.xml
file
Hello,
I am sorry I cannot help with code, so I don't even try to port an
application.
I just installed in my home directory paps, a printing utility similar
to a2ps but which understands unicode.
It would be great to have it in the packages.
This is the link: http://paps.sourceforge.net/
Geogebra work now with the latest snapshots.
Please test it.
Thanks :)
Hi, seems like an interesting app. I have quite a few comments on the
Makefile though. See below...
---
You're missing an OpenBSD tag. i.e. the first line should be:
# $OpenBSD$
COMMENT = dynamic
The patch below fixes devel/jam to use a working MASTER_SITES. While here:
regen PLIST, add a license comment, and include a better DESCR (which
comes mostly from the Jam tutorial referenced below).
Index: Makefile
===
RCS file:
tintin segfaults at startup for me without the patch below (tested on
amd64).
While here, also:
- update MASTER_SITES to a working site
- add a license comment
- regen PLIST
Index: Makefile
===
RCS file:
Small update for net/tkirc:
- fix MASTER_SITES
- add a license comment
make fetch make checksum tested on amd64
Index: Makefile
===
RCS file: /usr/cvs/ports/net/tkirc/Makefile,v
retrieving revision 1.11
diff -u -r1.11 Makefile
---
On Wed, Jan 6, 2010 at 10:18 PM, Nick Templeton n...@nicktempleton.com wrote:
I'm working on a port and I'm having some difficulties when it comes to
fetching the source. One of the distfiles has parameters in the URL to grab a
particular version:
Here's an update of the new port for intellij to make it require jdk
1.6 as openjdk 1.7 is not supported (reported by Ian Darwin).
Daniel
intellij_v2.tar.gz
Description: GNU Zip compressed data
This is issue is still present in the Netbeans 6.8 Beta version that I am
running [1]on OpenBSD -current [2] - it happens when you use the Clean
Build buttons and the Run button.
Thanks. I can confirm the issue is still there... but not really
enough to stop me from switching to 6.8 for my
On Wed, Dec 30, 2009 at 9:51 AM, Brandon Mercer
yourcomputer...@gmail.com wrote:
On Wed, Dec 30, 2009 at 9:34 AM, Daniel Dickman didick...@gmail.com wrote:
This is issue is still present in the Netbeans 6.8 Beta version that I am
running [1]on OpenBSD -current [2] - it happens when you use
This update package Clisp to the latest release 2.48.
Tested on i386.
Works for me on amd64 as well. Thanks.
Here's a patch to update a really ancient version of elm to a slightly
less ancient version. Main changes to the port:
- regen files/config.sh
- update the HOMEPAGE and MASTER_SITES links which no longer exist
- Add a LICENSE comment
- regen PLIST patches
Index: Makefile
Hi Andrew, here's some quick feedback to get you started...
1) Don't include the CVS directories in the tar.gz file.
2) See some small changes below for the Makefile. Also, does this
package have regression tests? If so, you should set those up. If not,
don't forget to include NO_REGRESS=Yes
Here's a patch to update gprolog (which is currently marked as being i386
only and BROKEN) to the latest version. This was tested on amd64 and
seemed to work for a few prolog test cases I fed through.
The changelog includes a few updates over the last version which seem
particularly relevant:
Here's a patch to update gprolog (which is currently marked as being i386
only and BROKEN) to the latest version. This was tested on amd64 and
seemed to work for a few prolog test cases I fed through.
And here's a small update to my patch which includes Nuno's changes from
Feb 2009 that
Here's an update for linkchecker to 5.1. Tested on amd64.
Index: Makefile
===
RCS file: /usr/cvs/ports/www/linkchecker/Makefile,v
retrieving revision 1.27
diff -u -r1.27 Makefile
--- Makefile25 Mar 2009 13:39:40 - 1.27
Thanks. New patch attached.
On Thu, 3 Dec 2009, Stuart Henderson wrote:
-DISTNAME= linkchecker-4.5
-PKGNAME= ${DISTNAME}p1
+V= 5.1
+DISTNAME= LinkChecker-${V}
+PKGNAME= linkchecker-${V}
better to do something like this and regenerate plist;
MODPY_EGG_VERSION=5.1
1101 - 1200 of 1222 matches
Mail list logo