Re: Collision between libgfortran and gcc-libs

On Wed, 13 Jul 2016 08:59:49 +0100 Zé Loff wrote: > Not true, I just installed it without having lang/gfortran installed. While spatstat does not depend directly on gfortran, its dependency, deldir, does. Did you compile deldir with g77? I think gfortran could be removed

Re: Collision between libgfortran and gcc-libs

On Tue, Jul 12, 2016 at 07:37:52PM +0200, David Coppa wrote: > > +1 for nuking it from me too. > > Ciao! > David > > I believe that spatstat module in R requires lang/gfortran to compile. Some other useful modules depend on spatstat, e.g. radiomics. Please do not delete lang/gfortran, I am

Re: [new] lang/mlton

On Sat, 9 Jul 2016 10:02:26 +0200 Sebastien Marie wrote: <..> > > Here, I don't know... maybe if it isn't needed, doesn't package it ? > > the problem is if root runs it, python will make a .pyc file at > runtime, and after the removing of the mlton package will not work >

Re: [new] lang/mlton

tar zcf \ + mlton-${V}-bootstrap-OpenBSD-${OSREV}-${MACHINE_ARCH}.tar.gz \ + bootstrap .include diff -ruN mlton.orig/pkg/DESCR mlton/pkg/DESCR --- mlton.orig/pkg/DESCR Sat Jul 9 18:28:03 2016 +++ mlton/pkg/DESCR Sat Jul 9 18:27:22 2016 @@ -1 +1,2 @@ -MLton is a whole-program optimizing compiler for the Standard ML programming language. +MLton is a whole-program optimizing compiler for the Standard ML +programming language. mlton.tar.gz Description: application/gzip

Re: [new] lang/mlton

Thanks Sebastien, please see my comments inline. > the port is fairly complete. Just some points: > - patches/patch-mlton_Makefile > "PREFIX has to be /usr/local for OpenBSD" > > in fact, "/usr/local" shouldn't be directly used: you should use > LOCALBASE variable (default to

Re: [new] lang/mlton

Hi ports@, Please help to review and test the port. Maybe someone is ready to import it into CVS? There is also a new port for Ur/Web language and framework, [1], which depends on MLton. [1]: http://marc.info/?t=14657986342=1=2 On Fri, 17 Jun 2016 18:00:13 +1200 m...@extensibl.com

Re: [new] lang/urweb

Ping On Mon, 13 Jun 2016 18:15:42 +1200 ml wrote: > Hi ports@, > > I would like to add port for Ur/Web compiler. > > > >From pkg/DESCR: > > Ur is a programming language in the tradition of ML and Haskell, but > featuring a significantly richer type

Re: [new] lang/mlton

On Mon, 13 Jun 2016 17:51:28 +1200 m...@extensibl.com wrote: <..> > Port archive is attached. <..> I have fixed Makefile patch, so the installer does not gzip man pages anymore. Updated port archive is attached. All changes could be tracked at [1]. [1]: https://github.com/extensibl/ports

Re: [new] mosml 2.10.1

I have been able to build mosml successfully and compile HOL theorem prover [1] using it. [1]: https://hol-theorem-prover.org/ Best, Alex

[new] lang/urweb

Hi ports@, I would like to add port for Ur/Web compiler. >From pkg/DESCR: Ur is a programming language in the tradition of ML and Haskell, but featuring a significantly richer type system. Ur is functional, pure, statically typed, and strict. Ur supports a powerful kind of metaprogramm

Re: [new] lang/mlton

Hi Sebastien, Again, thanks for your help. I have made the following changes based on your last email: - added shells/bash to RUN_DEPENDS - removed PROT_EXEC - included statement to force PIC - updated bootstrap archive - now it is produced with amd64 codegen - removed C codegen patches Port

Re: [new] lang/mlton

On Sun, 12 Jun 2016 12:09:54 +0200 Sebastien Marie wrote: > .if logic is > required, as even if the ports is marked as ONLY_FOR_ARCHS=amd64 > others archs will try to download it (and MACHINE_ARCH will not be > amd64). Thanks Sebastien, the updated archive is attached.

Re: [new] lang/mlton

Hi Sebastien, Many thanks for the review. I think I have fixed issues you pointed to. It would be great if someone can comment on setting PATH inside MAKE_ENV. Changes made since my last submission: - Patches are updated with my comments - OpenBSD profiling handler has been accepted into the

Re: [new] lang/mlton

Hi ports@, Could anyone please check and maybe even commit MLton compiler port to the ports tree? The updated version is attached. Comments and help with testing are much appreciated. Best regards, Alex mlton.tar.gz Description: application/tar-gz

Re: [new] lang/mlton

Hi Jeremie, On Fri, May 27, 2016 at 02:05:59PM +0200, Jeremie Courreges-Anglas wrote: > Is a working mlton still required to build mlton? Your 'bootstrap' > target depends on the 'fake' target, so I fear nothing changed in that > regard. Yes, MLton still has to be compiled with itself. It is

[new] lang/mlton

Hi ports@, I would like to add port for MLton compiler. >From pkg/DESCR: MLton is an open-source, whole-program, optimizing Standard ML compiler. Please note, that the bugfix [1] should be applied for the default OpenBSD GCC 4.2.1 to compile this port. Attached file corresponds to [2].

Re: nfsen package issue with OpenBSD 5.8

Thanks for the fast response and the diff, I have now manually patched the two PERL files and it works fine. On Monday, April 11, 2016 10:43 AM, Stuart Henderson <s...@spacehopper.org> wrote: +cc Peter Haag On 2016/04/10 20:29, ML mail wrote (on the OpenBSD ports list): > I am i

nfsen package issue with OpenBSD 5.8

ct refs" in use at /usr/local/libdata/perl5/site_perl/NfSen/NfProfile.pm line 1238. I am suspecting an issue with this specific package version on OpenBSD 5.8... Do you have an ideas? Regards ML

New port - MLton

Hello, This is my first attempt at porting an application to OpenBSD. MLton is a whole-program, optimizing Standard ML compiler. The port files are attached. The difficult part is that MLton requires itself to compile. I've made precompiled MLton package for amd64 available at [1]. I am

Re: New port - MLton

On Sun, Mar 01, 2015 at 01:55:49PM +, Stuart Henderson wrote: Build fails with: gmake[3]: mlton: Command not found ..so presumably it needs some work to fetch (via SUPDISTFILES?) and use a bootstrap? The port's Makefile should really have a way to generate a bootstrap file, or at

WIP: MLton and Ur/Web

Hi all, I am planning to create two new ports - for MLton and for Ur/Web (Ur/Web depends on MLton). Does anybody work on these? Current status: I was able to compile MLton, compile Ur/Web using MLton, successfully compile few simple apps using Ur/Web. (OpenBSD-current amd64) I am working on

subscribe

python now requires X11 installed

Hello, I used to run all my OpenBSD servers with no X11. Now, to build nmap, you seem to need python. There are no FLAVORS and so no obvious way to prevent it from requiring python. And to build python, you need X11R6 installed. There are no FLAVORS as there used to be, to compile without

Re: python now requires X11 installed

On Tue, May 12, 2009 at 11:10:46PM +0200, Antoine Jacoutot wrote: Why don't you use packages? I just tried, and that solved my problem. I tried to install python from there and it worked just fine. I liked the ports system but understand Theo's points. I have this script which basically does

Re: python now requires X11 installed

Thanks all, package stemming drastically simplified my auto-installer. It was much more fragile before, since, say, /usr/ports/mail/mutt/snapshot might or might not be there in new releases. -- Obama Nation | My emails do not have attachments; it's a digital signature that your mail program