gabrieldosreis / open-axiom Goto Github PK
View Code? Open in Web Editor NEWOpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations
Home Page: http://www.open-axiom.org/
License: Other
OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations
Home Page: http://www.open-axiom.org/
License: Other
Error message during make: x11/intrinsic.h no such file
Apparently configure does not check for the libXt dependency.
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 &
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]
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
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!!
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.