Could not start from binaries

[Former user]

Version: cafeobj-1.4.12-p2-x64-linux.tgz Platform: Debian Linux with 3.10 Kernel

starting CafeOBJ from the Linux binaries gave the following error:

$ export CAFEROOT=pwd $ bin/cafeobj /mnt/private/downloads/CafeOBJ/cafeobj-1.4/lisp/CafeOBJ: 1: /.../cafeobj-1.4/lisp/CafeOBJ: Syntax error: "(" unexpected

Best regards, Björn Engelmann

[Norbert Preining]

Hmm, I cannot reproduce this:

$ export CAFEROOT=`pwd`
$ bin/cafeobj
-- loading standard prelude
; Loading /home/norbert/Desktop/cafeobj-1.4/prelude/std.bin

          -- CafeOBJ system Version 1.4.12(PigNose0.99,2) --
                   built: 2014 Jan 31 Fri 4:22:12 GMT
                         prelude file: std.bin
                                  ***
                      2014 Feb 8 Sat 4:11:08 GMT
                            Type ? for help
                                  ***
                  -- Containing PigNose Extensions --
                                  ---
         built on International Allegro CL Enterprise Edition
           9.0 [64-bit Linux (x86-64)] (Jan 31, 2014 13:22)
CafeOBJ> [Leaving CafeOBJ]

Which shell are you using?

I am running a recent kernel, too, this should not be the problem.

Thanks

Norbert