From: Pedro F. G. <gif...@tu...> - 2012-03-29 16:29:30
Attachments:
patch-reduce-freebsd
|
Hello; I am building REDUCE on FreeBSD and thanks to this posting: http://lists.freebsd.org/pipermail/freebsd-ports/2011-December/071814.html I got it to build. The attached patch just followed the instructions and lets me build the CSL version. The PSL version gets to here: ___ ... configure: Will build this PSL using the unknown initial binaries cp: /usr/ports/math/reduce/work/reduce-algebra/psl/psl-unknown/*: No such file or directory configure: About to update PSL binaries from master web-site at ZIB Warning - no file "xport.pat" found No master HTTP/FTP site given in "xport.pat" chmod: bpsl*: No such file or directory configure: creating ./config.status /bin/sh ./config.status config.status: creating Makefile if ! test -f red/bootstrap.img; \ then /usr/local/bin/gmake red/bootstrap.img; \ if test -f red/bootstrap.img; then /usr/local/bin/gmake reduce; fi; \ else touch red/bootstrap.img; touch red/hugo; /usr/local/bin/gmake reduce; fi gmake[2]: *** No rule to make target `psl/*', needed by `red/bootstrap.img'. Stop. ____ best regards, Pedro. |
From: Rainer S. <rai...@gm...> - 2012-04-02 23:36:03
|
On Thu, 29 Mar 2012 at 09:16 -0700, Pedro F. Giffuni wrote: > Hello; > > I am building REDUCE on FreeBSD and thanks to this posting: > > http://lists.freebsd.org/pipermail/freebsd-ports/2011-December/071814.html > > I got it to build. > > The attached patch just followed the instructions and > lets me build the CSL version. Thanks for pointing this out; please try the changes I checked in today. > The PSL version gets to here: > ___ > > ... > configure: Will build this PSL using the unknown initial binaries > cp: /usr/ports/math/reduce/work/reduce-algebra/psl/psl-unknown/*: No such file or directory Yes, FreeBSD is not a known system. By modifying the script scripts/pslver.sh (see below) I was able to run the linux port of PSL (see http://www.freebsd.org/doc/en_US.ISO8859-1/books/handbook/linuxemu-lbc-install.html ). A proper FreeBSD port is probably not difficult, though it will take a bit of time. Rainer Index: scripts/pslver.sh =================================================================== --- scripts/pslver.sh (revision 1603) +++ scripts/pslver.sh (working copy) @@ -132,6 +132,9 @@ *alpha*) echo "alpha" ;; +*freebsd*) + echo "linux" + ;; *) echo "unknown" ;; |