If these *.help files are in some way necessary for fricas to run
properly, then why aren't they made by default from an svn
checkout?
*.help are a textual version of (some of) Hyperdoc pages. They are
shown by )help command -- if you do not have them )help shows
nothing.
Aha! I've
Hello,
On Wed, Sep 30, 2009 at 12:17:37PM +0200, Ralf Hemmecke wrote:
Have you ever been able to compile a simple aldor file to an executable?
I am having a similar problem here on ubuntu 8.04, 32bit.
(A year ago it worked)
aldor -fx -laldor -c args='-lm' sometest.as
sh: gcc32: not found
#1
Dear All,
Some time back I reported problems building Friacas 1.0.7 with ECL,
however I have just got around to investigating the problem and it appears
to have gone away :).
I can build successfully as follows
In a clean fricas-1.0.7 directory:
./configure --with-lisp=ECL
gmake
su
gmake
aldor -fx -laldor -c args='-lm' sometest.as
sh: gcc32: not found
#1 (Fatal Error) C compile failed. Command was: unicl -lm
-I/homes/lehner/usr/local/aldor/linux/1.0.3/include -c sometest.c
#1 (Warning) Removing file sometest.c'.
what is gcc32? Debian at least does not know about it.
Bill Page bill.p...@newsynthesis.org writes:
[...]
| 'None' on the other hand is called a domain without any values but
| it is typically used in situations where one apparently needs to
| temporarily avoid (duck?) the type checking, e.g. in the domain 'Any',
| but also in several other places
Bill Page wrote:
We seldom seem to make much progress with foundational issues in Axiom
(where I write Axiom in this email, it should be understood that I am
also referring to FriCAS and OpenAxiom) but I thought I would like to
bring up a subject that has bother me a little and ask for
On Mon, Oct 5, 2009 at 2:03 PM, Waldek Hebisch wrote:
Bill Page wrote:
...
Although it is currently a stand alone domain, 'Void' could be easily
made to satisfy 'SetCategory' by providing a simple '=' operation.
Since by definition 'Void' has only a single canonical value we can
simply
http://www.aldor.org/docs/HTML/chap5.html#10
--~--~-~--~~~---~--~~
You received this message because you are subscribed to the Google Groups
FriCAS - computer algebra system group.
To post to this group, send email to fricas-devel@googlegroups.com
To unsubscribe
Jalaluddin Morris wrote:
Some time back I reported problems building Friacas 1.0.7 with ECL,
however I have just got around to investigating the problem and it appears
to have gone away :).
Thanks for information. I am glad that FriCAS build works for you.
--
Dear All,
Some time back I reported problems building Friacas 1.0.7 with ECL,
however I have just got around to investigating the problem and it
appears to have gone away.
I can build successfully as follows
In a clean fricas-1.0.7 directory:
./configure --with-lisp=ECL
gmake
su
gmake install
10 matches
Mail list logo