I'm on yesterday's AMD64 snapshot and just updated my packages. Did
anyone else see this?
--- -python-2.7.10 ---
Couldn't delete /usr/local/lib/python2.7/email/mime/__init__.pyc (bad checksum)
Files kept as partial-python-2.7.10 package
This is very much a work in progress, but I thought I should share:
http://git.sccs.swarthmore.edu/web/mmcconv1/gplugin-openbsd-port/tree/
I still need to fill in the shared libs, dependencies, PLIST, etc. It
builds, but I need to test whether it runs properly (which means getting
Pidgin
On Fri, Jul 24, 2015 at 04:20:17PM -0400, Bryan C. Everly wrote:
Recently I came to the realization that, while OpenBSD is a
security-oriented operating system, many of the security professionals
out there were using Kali Linux for their work doing penetration
testing of networks and
Facebook officially dropped XMPP support a while ago and effectively
broke it two weeks ago:
https://developer.pidgin.im/ticket/16701
Our pidgin-facebookchat port uses an API even older than the XMPP one.
The URL listed:
https://code.google.com/p/pidgin-facebookchat/
redirects
This should be /etc/ssl/cert.pem for us, no?
https://github.com/lefcha/imapfilter/blob/master/src/imapfilter.c#L55
Related ticket here:
https://github.com/lefcha/imapfilter/issues/94
I get that ticket's error on the current port (2.6.1) for one of the
three IMAP domains I
On Sat, Jul 18, 2015 at 10:50:12PM +0100, Stuart Henderson wrote:
On 2015/07/18 16:51, Michael McConville wrote:
This should be /etc/ssl/cert.pem for us, no?
https://github.com/lefcha/imapfilter/blob/master/src/imapfilter.c#L55
Related ticket here:
https://github.com
Daniel Jakots wrote:
> Hi,
>
> I'm looking forward to package agl's xmpp-client. I already installed
> it with `go get` but I'd prefer to have a package.
>
> In my $GOPATH/src, I have
>
> .
> |-- github.com
> | `-- agl
> | |-- xmpp
> | `-- xmpp-client
> `-- golang.org
> `-- x
Michael McConville wrote:
> Daniel Jakots wrote:
> > Hi,
> >
> > I'm looking forward to package agl's xmpp-client. I already installed
> > it with `go get` but I'd prefer to have a package.
> >
> > [...]
> >
> > I saw that there is already ne
Stuart Henderson wrote:
> On 2015/10/21 17:36, Christian Weisgerber wrote:
> > This re-adds pledge() support for xz and xzdec. For multi-threading,
> > you'll need a really -current kernel since the required __tfork()
> > handling was only added last weekend.
> >
> > Please try to break it. ;-)
Alan Corey wrote:
> Bingo, could that be because I use tcsh and probably switched to it
> before I installed Abiword?
>
> locale says:
>
> LANG=
> LC_COLLATE="C"
> LC_CTYPE="C"
> LC_MONETARY="C"
> LC_NUMERIC="C"
> LC_TIME="C"
> LC_MESSAGES="C"
> LC_ALL=
Does adding this to ~/.xsession (if you
Michael McConville wrote:
> Alan Corey wrote:
> > In OpenBSD 5.2 (and 5.0, 4.7, 4.3) I've written a lot of emails in
> > Abiword (and saved to files, etc) then pasted into gmail (web client
> > in Firefox) to send.
> >
> > In OpenBSD 5.7 when I paste question mark
Stuart Henderson wrote:
> On 2015/11/11 10:26, Michael McConville wrote:
> > Pascal Stumpf wrote:
> > > mmc@ reminded me that I had been slacking on getting this into the tree.
> > >
> > > This patch updates LLVM to version 3.7, using GCC from ports as a
&
Pascal Stumpf wrote:
> mmc@ reminded me that I had been slacking on getting this into the tree.
>
> This patch updates LLVM to version 3.7, using GCC from ports as a
> compiler, and using its headers and libstdc++ at runtime. The downside
> is, of course, that everything compiled with clang++
Uwe Werler wrote:
> On Fri, Nov 13, 2015 at 05:37:12PM -0500, Michael McConville wrote:
> > Uwe Werler wrote:
> > > Hello list,
> > >
> > > I'd like to add a Flavor to tor which allows Tor2webMode:
> >
> > This seems like a rare enough use-case th
Joerg Jung wrote:
> Hi,
>
> please find attached a port for the new suckless presentation tool sent.
>
> OK to import?
>
> Regards,
> Joerg
Nifty, and WFM. I've been looking for exactly this kind of presentation
tool. Thanks.
> $ cat pkg/DESCR
>
> Simple plaintext presentation tool.
>
>
Uwe Werler wrote:
> Hello list,
>
> I'd like to add a Flavor to tor which allows Tor2webMode:
This seems like a rare enough use-case that it probably isn't worth a
flavor. It also runs the risk that people will think "Tor2web" is what
they need (plausible, based on the name) and thereby
Dmitrij D. Czarkoff wrote:
> I don't like pkgpaths www/tbb/noscript and www/tbb/https-everywhere:
> these extensions are not tbb-specific.
I think they are. IIUC, those have changes specific to the TBB. Other
browsers use the stock versions provided by their addon source.
[trimming history]
attila wrote:
> > In the interests of simplicity and efficacy the tarball can be found
> > here: http://bits.haqistan.net/~attila/tbb.tgz
>
> I've updated http://bits.haqistan.net/~attila/tbb.tgz with the
> just-completed update to Tor Browser 4.5.3.
ok?
Index: Makefile
===
RCS file: /cvs/ports/devel/afl/Makefile,v
retrieving revision 1.20
diff -u -p -r1.20 Makefile
--- Makefile23 Sep 2015 13:30:42 - 1.20
+++ Makefile16 Nov 2015 18:36:10 -
@@ -3,7 +3,7 @@
5.8's imapfilter is version 2.6.1. This commit is the only change
between that and 2.6.2:
https://github.com/lefcha/imapfilter/commit/0526dee062c28257a14f2ed7afca49a9a384e4aa
Definitely security-relevant, but I'm not sure how bad bugs need to be
to warrant backporting. The -current
Uwe Werler wrote:
> On Sun, Nov 15, 2015 at 08:15:57PM +0100, Stefan Sperling wrote:
> > On Sun, Nov 15, 2015 at 01:32:25PM -0500, Raul Miller wrote:
> > > But treating this as "extremely dangerous" without offering a path
> > > forward means that people need to "roll their own" approaches when
>
Stuart Henderson wrote:
> Currently these are scattered all over the place. I'd like to move
> them all to subdirs of security/yubico:
Sounds like a good idea to me. I remember this being annoying when I got
my YubiKey.
Will test build soon.
Sebastien Marie wrote:
> Hi,
>
> Here a patch for updating lang/rust to latest stable version: 1.4.0
>
> Testing would be welcome.
>
> An intermittent failure on `net::addr::tests::to_socket_addr_str_bad'
> test is possible. It isn't a regress (this problem seems to be present
> long time ago),
When running pkg_delete -a, I got this:
> libev-4.20: ok
> Read shared items: ok
> --- -libev-4.20 ---
> Error deleting directory lib/qt4: No such file or directory
> Error deleting directory lib: No such file or directory
> Error deleting directory .: Device busy
I'm assuming
They added some new SSL conditions that don't compile. I took the simple
route in the attached patches and defaulted to SSL23. That uses the best
available cipher, right? This approach is a little iffy because I think
it ignores the user's cipher prefs. I wanted to get a working WiP so
that people
Apparently this is their first release in >5 years.
The website says that development is done on GitHub and links to this
repo. The 0.14 release is only on GitHub.
They use MAP_POPULATE, which is a Linuxism, in an mmap() test call. I
removed it but I'm not sure what the file tests for. Could
I've been having trouble with this. It's probably because the port I'm
testing (my WIP of Pidgin 3) uses autogen.sh for both configuration and
compilation.
I've tried the obvious way ('scan-build make build'). In that case I
only get a report for the autogen.sh test programs, although the main
Jiri B wrote:
> On Wed, Sep 02, 2015 at 07:33:39PM -0400, Michael McConville wrote:
> > I'm trying to port htop to OpenBSD. They recently made it portable
> > and added FreeBSD and Darwin WIPs, so it's manageable.
> >
> > Some of the FreeBSD code is directly usa
Edd Barrett wrote:
> On Wed, Sep 02, 2015 at 07:33:39PM -0400, Michael McConville wrote:
> > Let me know if you're interested in helping.
>
> I would happily help testing of this.
Below is a messy preliminary diff.
I think I have the following working:
* load averages
I'm trying to port htop to OpenBSD. They recently made it portable and
added FreeBSD and Darwin WIPs, so it's manageable.
Some of the FreeBSD code is directly usable or tweakable. I've been
hacking on it for an hour and I have load average, ncpu, and uptime
working. It builds fine when the
Christian Weisgerber wrote:
> The latest amd64 package build has revealed a number of ports that are
> broken after the l2k15 hackathon.
>
> A number of ports use SHA-0. It doesn't look like important
> functionality, more like, let's support it because OpenSSL offers it:
>
> [...]
>
Edd Barrett wrote:
> On Wed, Sep 02, 2015 at 07:33:39PM -0400, Michael McConville wrote:
> > Let me know if you're interested in helping.
>
> I would happily help testing of this.
Here's my fork:
https://github.com/mmcco/htop
And my pull request:
https://gith
Daniel Bolgheroni wrote:
> Hi,
>
> lang/gcc/4.2 got removed from ports.
>
> Alternative: suggest x11/gnome/gvfs?
>
> ok?
Wouldn't changing 4.2 to 4.9 be an easier change?
This is a useful fix, though.
> Index: bsd.port.mk.5
>
Michael McConville wrote:
> Michael McConville wrote:
> > Stuart Henderson wrote:
> > > Slight problem with the go update, it breaks build of some ports using
> > > the go module:
> > >
> > > textproc/go-xlsx
> > > net/go-websocket
> > &
Stuart Henderson wrote:
> Slight problem with the go update, it breaks build of some ports using
> the go module:
>
> textproc/go-xlsx
> net/go-websocket
> devel/go-check-v1
> devel/go-tools
I'm working on an update for go-tools.
We have a manual install command for cover and vet, but the
Michael McConville wrote:
> Stuart Henderson wrote:
> > Slight problem with the go update, it breaks build of some ports using
> > the go module:
> >
> > textproc/go-xlsx
> > net/go-websocket
> > devel/go-check-v1
> > devel/go-tools
>
>
David Coppa wrote:
> Hi all!
>
> Here's the update to CMake-3.4.0.
>
> Please test it or (even better) put it into your next bulk build.
I tried building the LLVM development head with this. It died 53% in for
(I think) LLVM-related reasons. So, this looks good to me so far. I
agree that
Is the KeepassX GUI broken for anyone else? It hasn't worked for me on
-current since I updated my packages yesterday.
Gleydson Soares wrote:
> The following updates devel/afl to 1.96b.
> builds and runs fine on both (amd64/i386), regress seems happy too.
> OK?
Looks good, and works for me. ok mmcc@
> Index: Makefile
> ===
> RCS file:
Rafael Sadowski wrote:
> > Are you sure you need ports gcc ?
> >
> Yes I'm sure. C++11. Okay, it's optional but default on.
Yeah, my initial reaction that we should check the code carefully before
disabling C++11. Seems like it might expose some poorly tested paths.
And I don't know whether
Joel Sing wrote:
> Thanks for clarlifying - we could still implement 'go get -d' as a way
> of getting sources, but it would be more work than it is likely worth
> (and there are also some issues surrounding which versions of the
> dependencies get fetched).
>
> I'll rework go.port.mk and the
Stuart Henderson wrote:
> On 2015/12/23 20:18, Michael McConville wrote:
> > How close is this to being committable?
> >
> > I don't think GPlugin is actually used by anything yet, but it's going
> > to be required by future Pidgin releases, so it's useful for
Does the new Makefile patch make sense? This commit:
https://github.com/lefcha/imapfilter/commit/d30f8b7007c21aa2c0716d9125d393fca5039a53
Was giving me "bogus element outside of every prefix" errors during make
make-plist.
Index: Makefile
Stuart Henderson wrote:
> On 2016/01/06 08:23, Joerg Jung wrote:
> >
> > > Am 06.01.2016 um 07:19 schrieb Michael McConville <mm...@mykolab.com>:
> > >
> > > Does the new Makefile patch make sense? This commit:
> > >
Is there a reason why Firefox often has ugly typography in PDFs
generated by LaTeX and the like? Most specifically, the t's are often
very fat.
Here's an example:
http://www.sccs.swarthmore.edu/~mmcconv1/dump/firefox-pdf.png
IIRC, it's this way on some Linux distros too, so maybe it's
Michael Reed wrote:
> The maintainer [Matthew Via] who said I could send this patch here
> as he hasn't the time to review it, given the holidays.
>
> sxiv 1.3.2 was recently released[1] and it seems to work fine during
> basic usage.
>
> The patches I added were very minor:
> - the paths to
How close is this to being committable?
I don't think GPlugin is actually used by anything yet, but it's going
to be required by future Pidgin releases, so it's useful for testing.
I suspect that it needs SHARED_ONLY.
I remember having Lua support working a few months ago, but I can't get
one
Giovanni Bechis wrote:
> Update to today's version.
> Please commit.
> Cheers
> Giovanni
Done. Thanks!
> Index: Makefile
> ===
> RCS file: /var/cvs/ports/www/youtube-dl/Makefile,v
> retrieving revision 1.147
> diff -u -p -r1.147
Rafael Sadowski wrote:
> Dear keepassx users and port veterans,
>
> after long workdays before the Xmas break, here is a new updated diff
> with your hints:
>
> - add DWITH_CXX11=no
> - fix WANTLIB
> - fix and add LIB_DEPENDS
> - SHARED_ONLY tagged
> - fix PLIST
> - add gtk-update-icon-cache
Joerg Jung wrote:
> please find below an update to sent 0.2.
> This release fixes several serious segfaults and issues.
>
> OK?
Works for me. ok mmcc@
It's too bad that they put big gray borders around PNGs now, though...
> Index: Makefile
>
CATEGORIES = fonts
HOMEPAGE = http://sourcefoundry.org/hack/
+
+MAINTAINER = Michael McConville <mm...@mykolab.com>
# SIL Open Font License v1.1
PERMIT_PACKAGE_CDROM = Yes
Index: distinfo
===
RCS file
Their public dev list is hack...@suckless.org. It's probably worth
letting them know.
Thanks.
Matthieu Herrb wrote:
> On Fri, Nov 13, 2015 at 10:30:32PM +0100, Joerg Jung wrote:
> > Hi,
> >
> > please find attached a port for the new suckless presentation tool sent.
> >
> > OK to import?
>
>
Michael McConville wrote:
> Apparently this is their first release in >5 years.
>
> The website says that development is done on GitHub and links to this
> repo. The 0.14 release is only on GitHub.
>
> They use MAP_POPULATE, which is a Linuxism, in an mmap() test call. I
Twenty seconds of search queries suggests that it's a missing Qt4 Python
library. Here's an apparently similar issue from Debian:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=525556
Thanks,
Mike
mike:/home/mike$ hp-setup
HP Linux Imaging and Printing System (ver. 3.16.5)
Printer/Fax
Here's a draft of an rc.d script for sthttpd, written with help from
Stuart. A few things to note:
The binary is named thttpd, so I used that for the script name too. For
those not familiar, sthttpd is an ever-so-lightly patched fork of
thttpd.
Unless supplied a root directory with the -d flag,
Currently, it fails when called, like this:
defined(%hash) is deprecated at /usr/local/bin/weblint line 844.
(Maybe you should just omit the defined()?)
Can't locate newgetopt.pl in @INC (@INC contains:
/home/mike/.opam/system/lib/perl5 /home/mike/.opam/system/lib/perl5
Michael McConville wrote:
> Florian Stinglmayr wrote:
> > On Sat, Jan 16, 2016 at 04:09:20PM -0500, Michael McConville wrote:
> > > This works for me. It unconditionally vforks at some point so, unlike
> > > grep, it needs proc. Also, the --pager flag lets the user speci
Michael McConville wrote:
> Michael McConville wrote:
> > Florian Stinglmayr wrote:
> > > On Sat, Jan 16, 2016 at 04:09:20PM -0500, Michael McConville wrote:
> > > > This works for me. It unconditionally vforks at some point so, unlike
> > > > grep,
Florian Stinglmayr wrote:
> On Sat, Jan 16, 2016 at 04:09:20PM -0500, Michael McConville wrote:
> > This works for me. It unconditionally vforks at some point so, unlike
> > grep, it needs proc. Also, the --pager flag lets the user specify a
> > pager to display the output
o There seem to have been no specific functional changes since ~2002,
aside from a few configuration tweaks by kili@ in 2011
o We haven't bumped the version since 2000
o The URL listed in FETCH_MANUALLY (http://www.cigital.com/its4/) no
longer points to what it should
o Does anyone care
Michael McConville wrote:
> This works for me. It unconditionally vforks at some point so, unlike
> grep, it needs proc. Also, the --pager flag lets the user specify a
> pager to display the output in, so it needs exec in that case.
And bump REVISION, of course. :-)
I'm goin
Pedro de Oliveira wrote:
> Following your tips I built Apache with -O0 and the segfaults in
> "mpm_prefork" no longer happen. Maybe its a gcc optimization issue. I
> dont know which -O OpenBSD uses by default, but I will try it also
> with -O1 and report back.
Remember, compiler optimizations can
This works for me. It unconditionally vforks at some point so, unlike
grep, it needs proc. Also, the --pager flag lets the user specify a
pager to display the output in, so it needs exec in that case.
Index: patches/patch-src_options_c
Looks like it tried to install textproc/go-xlsx (github.com/tealeg/xlsx)
despite the fact that it's listed as a build dep. This might be due to a
build logic bug on our end that relates to having a build dep from the
same GH_ACCOUNT.
I'm debugging go.port.mk at the moment.
Antoine Jacoutot
Has anyone else tested this on macppc? I'm getting the following error
on the latest snapshot during linking. I'll try rebuilding while saving
a full build log.
[1/8] : && /usr/local/bin/cmake -E remove lib/libclangCodeGen.a && /usr/bin/ar
qc lib/libclangCodeGen.a
Christoph R. Murauer wrote:
> Hello !
>
> I know, the port mcabber has a maintainer but I needed something to
> start / for understanding. In short, everything works at the first try
> but at the second try I can't reproduce it.
>
> My snapshot is from Feb 4 and the ports tree is up to date.
>
Abel Abraham Camarillo Ojeda wrote:
> On Mon, Feb 8, 2016 at 9:59 PM, Abel Abraham Camarillo Ojeda
> wrote:
> > hi
> >
> > attached patch updates pgbadger,
> > also I'd like to take maintainership if no one
> > cares.
> > I'm unsure about the PLIST change, tough...
> >
> >
Pedro de Oliveira wrote:
> Hi,
>
> Attached is a new port for sysutils/htop.The new 2.0.0 release now
> supports OpenBSD.
> It's my first port, so be easy!
>
> Any comments? OK to import?
>
> Regards,
> Pedro de Oliveira
Hi, Pedro.
I wrote the OpenBSD-specific htop code. I was planning on
Below is a failed fetch log for www/awl. Is this a known issue? Or is it
just me? It's been failing because of this for the 3-4 weeks that I've
been running bulk builds.
>>> From www/awl
===> Trying https://gitlab.com/davical-project/awl/repository/
/usr/bin/ftp -C -o
Christoph R. Murauer wrote:
> > macppc is starting to be unusable as desktop because nobody
> > is spending time to ensure the ports build and run correctly.
> >
>
> Seriously asked, what is the reason, that noone spent time?
There's effectively no one making new PowerPC hardware and the
Have you guys had issues with wd(4) timeouts on macppc? It was happening
intermittently, but I figured it was because the drive was old. However,
I'm now experiencing it again with a brand new hard drive and it's
making the machine unusable.
Michael McConville wrote:
> Have you guys had issues with wd(4) timeouts on macppc? It was
> happening intermittently, but I figured it was because the drive was
> old. However, I'm now experiencing it again with a brand new hard
> drive and it's making the machine unusable.
IIUC, we use a bundled version of Menhir in Coccinelle. It exists as the
tarball bundles/menhirLib/menhir-20120123.tar.gz in the Coccinelle
codebase.
Here's the relevant Makefile line:
> CONFIGURE_ARGS += --disable-menhirLib # version in ports is too new
However, the build fails for me
Sevan / Venture37 wrote:
> emulators/qemu -
>
> https://web.nvd.nist.gov/view/vuln/detail?vulnId=CVE-2015-1779
Do you mean in the 5.7 or 5.8 release trees? This was patched in August.
Josh Grosse wrote:
> On Fri, Jan 29, 2016 at 03:09:38PM +0100, Antoine Jacoutot wrote:
> > On Fri, Jan 29, 2016 at 08:28:31AM -0500, Josh Grosse wrote:
> > > Update to 16.01. Builds and runs on amd64, with ongoing testing in
> > > progress.
> > >
> > > Significant app changes: 6 years of
Stephen Graf wrote:
> It would seem that the current version of the jabberd package is 2.0,
> with a date of about May 2013. The latest release is 2.3.5. I
> installed the jabberd package on openBSD 5.8 and was experiencing some
> difficulties with the SSL certs. I would rather work with a more
I'm getting the below error when building the GCC port on a Power Mac G5
running the most recent snapshot. It fails reliably when I retry the
build, so it doesn't seem like an Act of God(TM) caused by a kernel or
hardware bug.
The build is successful with Ada disabled.
Is this a known issue? Let
I started updating this but realized that it's more time than I'm
willing to invest. Does anyone use it? A lot has changed since the last
port update.
Below is the Makefile diff I needed. I don't think I'm going to try to
merge our patches, but I'm happy to review diffs if someone else tries.
Sorry for disappearing.
Thanks for pointing out the VCS popen. Below is a draft that
incorporates your suggestions. Let me know if it's too fine-grained. My
thought was that it's ideal to drop exec as early as possible.
Index: Makefile
The only change in this release is the addition of our SSLv3 patch.
ok?
Index: Makefile
===
RCS file: /cvs/ports/mail/imapfilter/Makefile,v
retrieving revision 1.21
diff -u -p -r1.21 Makefile
--- Makefile22 Jan 2016 00:51:24
Does this look good? The distfile's slightly different - otherwise, this
is straight-forward.
Our port's pretty out of date, too. If anyone's interested in updating
it, let me know. Otherwise, I may try in the next couple weeks.
Index: Makefile
It seems unmaintained, it hasn't been updated since 2005, and the
website is gone. I don't know if this is considered acceptable for a
network client. There was Nicotine+:
http://www.nicotine-plus.org/
But that seems dead too.
ok?
It's also due for an update, if anyone uses it and has time.
Index: Makefile
===
RCS file: /cvs/ports/x11/grantlee/Makefile,v
retrieving revision 1.5
diff -u -p -r1.5 Makefile
--- Makefile15 Aug 2015 22:30:57 - 1.5
Matthias Kilian wrote:
> On Sat, Feb 27, 2016 at 02:04:37AM -0500, Michael McConville wrote:
> > This port seems truly ancient - if I understand correctly, it's been on
> > version 1.6.1 since it was imported in 1997. The fact that it's a server
> > makes this less tol
It's implicit when GH_ACCOUNT and GH_PROJECT are set.
ok?
Index: devel/ocaml-ppx-tools/Makefile
===
RCS file: /cvs/ports/devel/ocaml-ppx-tools/Makefile,v
retrieving revision 1.2
diff -u -p -r1.2 Makefile
---
This port seems truly ancient - if I understand correctly, it's been on
version 1.6.1 since it was imported in 1997. The fact that it's a server
makes this less tolerable. I came across it while scanning distfiles for
undefined behavior... And it has a patch that changes gets(3) to
fgets(3).
Michael McConville wrote:
> The only change in this release is the addition of our SSLv3 patch.
>
> ok?
jturner@ pointed out that this has to wait two weeks because it removes
a file, but ok'd otherwise.
> Ind
One of our SSLv3 patches got upstreamed. I'll submit the other one soon.
ok?
Index: Makefile
===
RCS file: /cvs/ports/mail/imapfilter/Makefile,v
retrieving revision 1.20
diff -u -p -r1.20 Makefile
--- Makefile7 Jan 2016
PKGNAME = hack-fonts-$V
CATEGORIES = fonts
@@ -16,7 +16,6 @@ MAINTAINER = Michael McConville <mmcco@
PERMIT_PACKAGE_CDROM = Yes
MASTER_SITES =
https://github.com/chrissimpkins/Hack/releases/download/v$V/
-EXTRACT_SUFX = .zip
WRKD
Daniel Jakots wrote:
> Our scapy is old. Here's a diff to update it to latest stable.
> Upstream moved to github.
>
> While talking with them, they advised me to get ethertypes somewhere
> else than the website [1]. As it's the same name but with different
> checksum, you'll have to use
MEPAGE = http://www.frama-c.com/
+
+MAINTAINER = Michael McConville <mm...@mykolab.com>
# LGPLv2
PERMIT_PACKAGE_CDROM = Yes
Index: distinfo
===
RCS file: /cvs/ports/devel/frama-c/distinfo,v
retrieving revision 1.
FWIW, I've been running this patch without issue for months.
Juan Francisco Cantero Hurtado wrote:
> Can you modify the structure of devel/llvm/ to something like
> devel/llvm/version/? With lang/gcc works pretty well, we can work with
> the latest version while the ports tree uses the stable
Yozo TODA wrote:
> hi, here is an update for coq from 8.4pl6 to 8.5.
> I'm working on amd64.
> anyone please verify this, and commit to the tree?
Thanks for this! I don't have time to fully review at the moment, but:
> -# Order is important!
> -INSTALL_TARGET= install-byte
Yozo TODA wrote:
> +--- configure.ml.origThu Jan 21 01:52:18 2016
> configure.ml Sun Jan 24 23:32:41 2016
> +@@ -843,7 +843,7 @@
> + (** * md5sum command *)
> +
> + let md5sum =
> +- if arch = "Darwin" then "md5 -q" else "md5sum"
> ++ if arch = "Darwin" then "md5 -q" else if
Juan Francisco Cantero Hurtado wrote:
> I've seeing a bunch of double-free and use-after-free in htop. Please,
> run your tests with "MALLOC_OPTIONS=CFGJU htop" and fix the code
> yourself in the upstream github repo if you can.
Hm. I've been running it with a brutal malloc.conf for more than a
Juan Francisco Cantero Hurtado wrote:
> On Tue, Feb 16, 2016 at 06:04:29PM -0500, Michael McConville wrote:
> > Juan Francisco Cantero Hurtado wrote:
> > > I've seeing a bunch of double-free and use-after-free in htop.
> > > Please, run your tests with "MA
Yozo TODA wrote:
> I didn't try Compcert and not sure if Compcert is compliant to coq
> 8.5, how about branching math/coq to math/coq/8.4 and math/coq/8.5 ?
IIUC, this is only done when absolutely necessary. We'll probably just
wait for Daniel's ok and then update to 8.5.
It's probably easiest to do this before we remove mail/faces and
mail/xfaces.
ok?
Index: claws-mail/Makefile
===
RCS file: /cvs/ports/mail/claws-mail/Makefile,v
retrieving revision 1.86
diff -u -p -r1.86 Makefile
---
It's been failing reliably on my machine since I started bulk building a
couple months ago.
>>> Building on localhost under devel/mico
BDEPENDS = [devel/gmake]
DIST = [devel/mico:mico-2.3.13.tar.gz]
FULLPKGNAME = mico-2.3.13p0
(Junk lock failure for localhost at
It looks like devel/iso-codes needs libintl, although make
lib-depends-check doesn't pick it up. See the build failure below.
===> Building for iso-codes-3.66
Making all in iso_639
gmake[1]: Entering directory
'/home/dpb-wrk/iso-codes-3.66/iso-codes-3.66/iso_639'
/usr/local/bin/msgfmt
1 - 100 of 233 matches
Mail list logo