Re: [racket-users] Racket builds for ARM?

2016-10-28 Thread Meino . Cramer
Matthew Flatt [16-10-28 05:04]: > If ARMBIAN and Raspbian are compatible, then you could try the Utah > snapshot site's Raspbian build: > > http://www.cs.utah.edu/plt/snapshots/ > > At Fri, 28 Oct 2016 03:21:49 +0200, meino.cra...@gmx.de wrote: > > Hi, > > > > after

Re: [racket-users] Racket builds for ARM?

2016-10-28 Thread Daniel Brunner
Hi Meino, I run Racket on my Raspberry Pi (version 2 and 3)[*]. I download unix source + built packages and build the "core" following the instructions in src/README: https://github.com/racket/racket/blob/master/racket/src/README Basically it's just: mkdir build cd build ../configure make make

Re: [racket-users] Racket builds for ARM?

2016-10-27 Thread Meino . Cramer
Hi Matthew, thanks fpr your reply! :) I received a recipe how to modify the configuration of the ARMBIAN to pull from "unstable" source. "Unstable" includes racket 6.6 (and hopfully 6.7 soon) -- I think those "unstable" sources are of Raspbian... :) Still downloading/updateingfingers

Re: [racket-users] Racket builds for ARM?

2016-10-27 Thread Matthew Flatt
If ARMBIAN and Raspbian are compatible, then you could try the Utah snapshot site's Raspbian build: http://www.cs.utah.edu/plt/snapshots/ At Fri, 28 Oct 2016 03:21:49 +0200, meino.cra...@gmx.de wrote: > Hi, > > after putting Racket on my desktop Linux box and on my tablet > (ARCHLinux chroot,

[racket-users] Racket builds for ARM?

2016-10-27 Thread Meino . Cramer
Hi, after putting Racket on my desktop Linux box and on my tablet (ARCHLinux chroot, x86 CPU) I want to put Racket on my Orange PI PC (which is a Raspberry Pi inspired SoC-Computer). This Orange Pi PC runs a " ARMBIAN Debian GNU/Linux 8 (jessie) 3.4.112-sun8i" The CPU is (according to