Coder Social home page Coder Social logo

gabrieldosreis / open-axiom Goto Github PK

View Code? Open in Web Editor NEW
23.0 23.0 7.0 180.3 MB

OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations

Home Page: http://www.open-axiom.org/

License: Other

Shell 1.98% Makefile 3.22% TypeScript 0.01% Scheme 0.02% C 10.06% NSIS 0.08% Clojure 15.19% C++ 2.41% PostScript 64.76% Limbo 0.01% Common Lisp 1.76% TeX 0.25% M4 0.26%

open-axiom's People

Contributors

alfredoport avatar billpage avatar gabrieldosreis avatar hemmecke avatar ip1981 avatar yixincao avatar

Stargazers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

Watchers

 avatar  avatar  avatar  avatar  avatar  avatar

open-axiom's Issues

x11/intrinsic.h no such file

Error message during make: x11/intrinsic.h no such file
Apparently configure does not check for the libXt dependency.

ht_icon:22:50: error: narrowing conversion of '247' from 'int' to 'char'

On SMC

~/open-axiom-build$ g++ --version
g++ (Ubuntu 5.2.1-22ubuntu2) 5.2.1 20151010
~/open-axiom-build$ ../open-axiom/configure --prefix=$HOME
~/open-axiom-build$ make 2>&1 | cat > make.log & 

make.zip

libtool: compile:  g++ -c -m64 -D_GNU_SOURCE -std=c++11 -g -O2 -O2 -Wall -std=c++11 -g -O2 -O2 -Wall -I../../../open-axiom/src/include -I../../config -I. ../../../open-axiom/src/hyper
/initx.c  -fPIC -DPIC -o .libs/initx.o
In file included from ../../../open-axiom/src/hyper/initx.c:63:0:
../../../open-axiom/src/hyper/ht_icon:22:50: error: narrowing conversion of '247' from 'int' to 'char'
 inside { } [-Wnarrowing]
    0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00};
                                                  ^
../../../open-axiom/src/hyper/ht_icon:22:50: error: narrowing conversion of '231' from 'int' to 'char' inside { } [-Wnarrowing]

"import declaration not implemented for this Lisp"

Hi,

I'm trying to compile open-axiom by LispWorks. Basically I modified core.lisp.in and related Makefiles (c.f. [1] for details) to support LispWorks. But then I met the following error message that I couldn't locate the root cause:

/Applications/Xcode.app/Contents/Developer/usr/bin/make interpsys
../../src/driver/open-axiom --execpath=../../x86_64-apple-darwin15.6.0/bin/bootsys --syslib=../../x86_64-apple-darwin15.6.0/lib \
		--compile --output=sys-os.64xfasl --load-directory=. ../../../source/src/interp/sys-os.boot
LispWorks(R): The Common Lisp Programming Environment
Copyright (C) 1987-2017 LispWorks Ltd.  All rights reserved.
Version 7.1.1
Saved by binghe as bootsys, at 05 Jun 2019 16:44
User binghe on binghe-mac5.local
fatal error: import declaration not implemented for this Lisp
make[3]: *** [sys-os.64xfasl] Error 1
make[2]: *** [all-interpsys] Error 2
make[1]: *** [all-interpsys] Error 2
make: *** [all-local] Error 2

Could you please give me some hints?

--
Chun Tian

[1] https://github.com/binghe/open-axiom/tree/lispworks

Undefined functions: ASSOCIATER ELEMN MATUNWND PSTRING REVERSEWOC SUBSPAD ...

Hi, first of all, many thanks for your work!
I tried to compile OpenAxiom and I hit an error in the Lisp compilation/linking:

(a while after launching make:)

; file: /home/user-me/src/open-axiom-root/build/src/interp/i-output.clisp
..... (a lot of style warnings here) ...
; compilation unit finished
;   Undefined functions:
;     ASSOCIATER ELEMN MATUNWND PSTRING REVERSEWOC SUBSPAD |bright| |builtinConstructor?| |categoryForm?| |coerceInt| |coerceInteractive| |concat| |constructor?| |devaluate| |dispfortexp| |fillerSpaces| |formatMapping| |get| |getConstructorAbbreviationFromDB| |getFunctionFromDomain| |getPartialConstructorModemapSig| |isMapExpr| |isWrapped| |keyedSystemError| |linearFormatForm| |linearFormatName| |ncParseFromString| |objNew| |objNewWrap| |objValUnwrap| |object2String| |prefix2String| |recordOrCompareDemoResult| |sayKeyedMsg| |simplifyMapPattern| |systemError| |throwKeyedMsg| |trimTrailingBlank| |unwrap| |wrap|
;   caught 2 WARNING conditions
;   caught 87 STYLE-WARNING conditions
;   printed 6 notes

I am not at all familiar with Lisp, and in particular I don't know which flavor of the language is used here, that makes the debugging all the more difficult for me.
I can see that ASSOCIATER is called in src/interp/i-output.boot, that this function is defined in src/interp/spad.lisp, and that spad is made into a library libspad.a, so at some point I expect that the Lisp linker would go fetch this lib, but I have no clue about what is really done here and why it does not work.

Thanks a lot if you can give it a quick look, I know your spare time is scarce!!

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.