Re: spinoza programming language and big numbers



On 21 Mrz., 01:20, Mensanator <mensana...@xxxxxxx> wrote:
On Mar 20, 1:33 pm, Mensanator <mensana...@xxxxxxx> wrote:

I'll send the log along later.
Greetings Thomas Mertes

Seed7 Homepage: http://seed7.sourceforge.net
Seed7 - The extensible programming language: User defined statements
and operators, abstract data types, templates without special
syntax, OO with interfaces and multiple dispatch, statically typed,
interpreted or compiled,

How do I use the compiler?

When everything is okay this should be very simple.
Instead of calling the interpreter with

./hi hello

you write

./hi comp hello

After that you get an executable file (under linux/bsd/unix the
file 'hello' and under windows the file hello.exe). This executable
can be called with

./hello

On my ubuntu linux the compilation is as follows:

tm@penguin:~/seed7_5/prg$ hi comp hello
HI INTERPRETER Version 4.5.3237 Copyright (c) 1990-2008 Thomas Mertes
Compiling the compiler ...
SEED7 COMPILER Version 2.0 Copyright (c) 1990-2008 Thomas Mertes
Source: hello
Compiling the program ...
Generating code ...
after walk_const_list
586 8527696
78 optimizations done
Calling the C compiler ...
gcc -w -c tmp_hello.c 2>tmp_hello.cerrs
Calling the linker ...
gcc tmp_hello.o "/home/tm/seed7_5/src/seed7_05.a" -lX11 -lncurses -lm -
o hello 2>tmp_hello.lerrs

The Seed7 compiler (comp.sd7) produces the file tmp_hello.c
which contains a C program. Then it calls the C compiler (in this
example the gcc) which produces a tmp_hello.o file. When the
C compiler finds errors the error messages are written in the
tmp_hello.cerrs file. Finally the linker (in this example also the
gcc) is called which produces the executable. When linker
errors are found the error messages are written in the
tmp_hello.lerrs file.

The options and the librarys to be used when compiling
a Seed7 program are defined in the version.h file which is
produced with the 'make depend' / 'gmake depend' command.
The defines necessary for the compilation are
OBJECT_FILE_EXTENSION, EXECUTABLE_FILE_EXTENSION,
C_COMPILER, REDIRECT_C_ERRORS, SYSTEM_LIBS, SEED7_LIB,
COMP_DATA_LIB and COMPILER_LIB.
A detailed explanation of this defines can be found in the
file 'seed7/src/read_me.txt'.

Greetings Thomas Mertes

Seed7 Homepage: http://seed7.sourceforge.net
Seed7 - The extensible programming language: User defined statements
and operators, abstract data types, templates without special
syntax, OO with interfaces and multiple dispatch, statically typed,
interpreted or compiled, portable, runs under linux/unix/windows.
.