Anubis / Anubis

Commit 43b4abfd905ccc5c5927bb140e0926048a8d85ca

Authored by Alain Prouté
1 parent 843c7e85

Removed obsolete file Makefile

Showing 2 changed files with 5 additions and 87 deletions   Show diff stats
Inline Side-by-side
anubis_dev/Makefile deleted
View file @843c7e8
1   -
2   -all:
3   -
4   -
5   -
6   -Anubis_PE_Linux:
7   - rm -fr Anubis_PE_Linux
8   - mkdir -p Anubis_PE_Linux
9   - mkdir -p Anubis_PE_Linux/my_anubis
10   - mkdir -p Anubis_PE_Linux/my_anubis/library
11   - mkdir -p Anubis_PE_Linux/my_anubis/library/examples
12   - cp $(HOME)/my_anubis/library/examples/hello.anubis Anubis_PE_Linux/my_anubis/library/examples
13   - mkdir -p Anubis_PE_Linux/my_anubis/server_certs
14   - mkdir -p Anubis_PE_Linux/my_anubis/trusted_certs
15   - mkdir -p Anubis_PE_Linux/my_anubis/configuration
16   - mkdir -p Anubis_PE_Linux/my_anubis/modules
17   - mkdir -p Anubis_PE_Linux/my_anubis/shells
18   - mkdir -p Anubis_PE_Linux/my_anubis/web_sites
19   - mkdir -p Anubis_PE_Linux/anubis
20   - mkdir -p Anubis_PE_Linux/anubis/library
21   - cp $(HOME)/anubis/library/predefined.anubis Anubis_PE_Linux/anubis/library
22   - mkdir -p Anubis_PE_Linux/anubis/library/examples
23   - cp $(HOME)/anubis/library/examples/args.anubis Anubis_PE_Linux/anubis/library/examples
24   - cp $(HOME)/anubis/library/examples/client_server.anubis Anubis_PE_Linux/anubis/library/examples
25   - cp $(HOME)/anubis/library/examples/determinism.anubis.c Anubis_PE_Linux/anubis/library/examples
26   - cp $(HOME)/anubis/library/examples/hello.anubis Anubis_PE_Linux/anubis/library/examples
27   - cp $(HOME)/anubis/library/examples/paint.anubis Anubis_PE_Linux/anubis/library/examples
28   - cp $(HOME)/anubis/library/examples/peano.anubis Anubis_PE_Linux/anubis/library/examples
29   - cp $(HOME)/anubis/library/examples/runge_kutta.anubis Anubis_PE_Linux/anubis/library/examples
30   - cp $(HOME)/anubis/library/examples/syracuse.anubis Anubis_PE_Linux/anubis/library/examples
31   - cp $(HOME)/anubis/library/examples/try_protect.anubis Anubis_PE_Linux/anubis/library/examples
32   - cp $(HOME)/anubis/library/examples/saturate_example.anubis Anubis_PE_Linux/anubis/library/examples
33   - cp $(HOME)/anubis/library/examples/watt.anubis Anubis_PE_Linux/anubis/library/examples
34   - mkdir -p Anubis_PE_Linux/anubis/library/tools
35   - cp $(HOME)/anubis/library/tools/basis.anubis Anubis_PE_Linux/anubis/library/tools
36   - cp $(HOME)/anubis/library/tools/base64.anubis Anubis_PE_Linux/anubis/library/tools
37   - cp $(HOME)/anubis/library/tools/connections.anubis Anubis_PE_Linux/anubis/library/tools
38   - cp $(HOME)/anubis/library/tools/findstring.anubis Anubis_PE_Linux/anubis/library/tools
39   - cp $(HOME)/anubis/library/tools/hashtable.anubis Anubis_PE_Linux/anubis/library/tools
40   - cp $(HOME)/anubis/library/tools/maybefloat.anubis Anubis_PE_Linux/anubis/library/tools
41   - cp $(HOME)/anubis/library/tools/read_table.anubis Anubis_PE_Linux/anubis/library/tools
42   - cp $(HOME)/anubis/library/tools/saturate.anubis Anubis_PE_Linux/anubis/library/tools
43   - cp $(HOME)/anubis/library/tools/sdbms.anubis Anubis_PE_Linux/anubis/library/tools
44   - mkdir -p Anubis_PE_Linux/anubis/library/system_fonts
45   - mkdir -p Anubis_PE_Linux/anubis/library/web
46   - cp $(HOME)/anubis/library/web/common.anubis Anubis_PE_Linux/anubis/library/web
47   - cp $(HOME)/anubis/library/web/cookies.anubis Anubis_PE_Linux/anubis/library/web
48   - cp $(HOME)/anubis/library/web/file_manager.anubis Anubis_PE_Linux/anubis/library/web
49   - cp $(HOME)/anubis/library/web/http_get.anubis Anubis_PE_Linux/anubis/library/web
50   - cp $(HOME)/anubis/library/web/https_get.anubis Anubis_PE_Linux/anubis/library/web
51   - cp $(HOME)/anubis/library/web/http_get_common.anubis Anubis_PE_Linux/anubis/library/web
52   - cp $(HOME)/anubis/library/web/making_a_web_site.anubis Anubis_PE_Linux/anubis/library/web
53   - cp $(HOME)/anubis/library/web/mime.anubis Anubis_PE_Linux/anubis/library/web
54   - cp $(HOME)/anubis/library/web/multihost_http_server.anubis Anubis_PE_Linux/anubis/library/web
55   - cp $(HOME)/anubis/library/web/read_html.anubis Anubis_PE_Linux/anubis/library/web
56   - cp $(HOME)/anubis/library/web/web_arg_encode.anubis Anubis_PE_Linux/anubis/library/web
57   - mkdir -p Anubis_PE_Linux/anubis/library/mail
58   - cp $(HOME)/anubis/library/mail/send_mail.anubis Anubis_PE_Linux/anubis/library/mail
59   - cp $(HOME)/anubis/library/mail/smtp_server.anubis Anubis_PE_Linux/anubis/library/mail
60   - mkdir -p Anubis_PE_Linux/anubis/library/network
61   - cp $(HOME)/anubis/library/network/dns.anubis Anubis_PE_Linux/anubis/library/network
62   - mkdir -p Anubis_PE_Linux/anubis/library/graphism
63   - cp $(HOME)/anubis/library/graphism/diaporama.anubis Anubis_PE_Linux/anubis/library/graphism
64   - mkdir -p Anubis_PE_Linux/anubis/manuals
65   - mkdir -p Anubis_PE_Linux/anubis/manuals/en
66   - cp $(HOME)/anubis/manuals/en/anubis_doc.txt Anubis_PE_Linux/anubis/manuals/en
67   - mkdir -p Anubis_PE_Linux/anubis/manuals/fr
68   - cp $(HOME)/anubis/manuals/fr/anubis_doc.txt Anubis_PE_Linux/anubis/manuals/fr
69   - cp $(HOME)/bin/anubis_perso Anubis_PE_Linux/anubis/anubis
70   - cp $(HOME)/bin/anbexec_perso Anubis_PE_Linux/anubis/anbexec
71   - mkdir -p Anubis_PE_Linux/my_anubis/server_certs
72   - mkdir -p Anubis_PE_Linux/my_anubis/trusted_certs
73   - mkdir -p Anubis_PE_Linux/my_anubis/configuration
74   - mkdir -p Anubis_PE_Linux/my_anubis/modules
75   - mkdir -p Anubis_PE_Linux/my_anubis/shells
76   - mkdir -p Anubis_PE_Linux/my_anubis/web_sites
77   - cp $(HOME)/anubis/Conditions_of_use* Anubis_PE_Linux/anubis
78   - cp $(HOME)/anubis/How_to_install* Anubis_PE_Linux/anubis
79   - cp $(HOME)/my_anubis/server_certs/georges* Anubis_PE_Linux/my_anubis/server_certs
80   - cp $(HOME)/my_anubis/trusted_certs/* Anubis_PE_Linux/my_anubis/trusted_certs
81   - cp $(HOME)/anubis/library/system_fonts/*.sf Anubis_PE_Linux/anubis/library/system_fonts
82   - cd Anubis_PE_Linux && tar -czf Anubis_PE_Linux_1_5_4.tar.gz my_anubis anubis
anubis_dev/compiler/src/description.text
  Show/Hide comments   View file @43b4abf
... ... @@ -388,7 +388,7 @@
388 388 cdr3(x) (d e)
389 389 etc...
390 390  
391   - Notice that 'mcons2' does not exist because it is the same a 'cons'.
  391 + Notice that 'mcons2' does not exist because it is the same as 'cons'.
392 392  
393 393 'consp(x)' is 1 if and only x is a pair (i.e. not an atom). Otherwise, it is 0. This
394 394 predicate ('consp' is a traditional Lisp abbreviation for 'cons predicate') is very
... ... @@ -980,8 +980,8 @@
980 980  
981 981 (alloc . <number of bytes>)
982 982  
983   - The pointer to resulting segment is put in R. The counter (first 32 bits word of the
984   - segment) contains always 1 after the allocation.
  983 + The pointer to the resulting segment is put in R. The counter (first 32 bits word of
  984 + the segment) contains always 1 after the allocation.
985 985  
986 986  
987 987 Making virtual copies. The following instructions are used for making a virtual copy of
... ... @@ -2035,7 +2035,7 @@
2035 2035 the fact that the type itself is infinite (if it is not empty)). This is why we do not
2036 2036 compute the width of recursive types. Hence, we need a tool for detecting if a type is
2037 2037 recursive (maybe cross recursive through other types). This tool is defined in
2038   - 'rectype.c'. Notice that a recursive type which is empty (see may happen: see the
  2038 + 'rectype.c'. Notice that a recursive type which is empty (this may happen: see the
2039 2039 discussion on 'NonEmptyList' in 'predefined.anubis') is still considered as recursive
2040 2040 by Anubis 1, and its width is still infinite.
2041 2041  
... ... @@ -2241,7 +2241,7 @@
2241 2241 Standard connections (conn_stdin, conn_stdout, conn_stderr):
2242 2242  
2243 2243 +---+---+---+---+---+---+---+---+---+---+---+---+
2244   - | | | | | | | | | | | | | (not used)
  2244 + | | | | | | | | | | | | | (no byte used)
2245 2245 +---+---+---+---+---+---+---+---+---+---+---+---+
2246 2246  
2247 2247  
... ...