]>
Commit | Line | Data |
---|---|---|
b79f73df JL |
1 | /* Implement runtime actions for CHILL. |
2 | Copyright (C) 1992,1993 Free Software Foundation, Inc. | |
3 | Author: Wilfried Moser | |
4 | ||
5 | This file is part of GNU CC. | |
6 | ||
7 | GNU CC is free software; you can redistribute it and/or modify | |
8 | it under the terms of the GNU General Public License as published by | |
9 | the Free Software Foundation; either version 2, or (at your option) | |
10 | any later version. | |
11 | ||
12 | GNU CC is distributed in the hope that it will be useful, | |
13 | but WITHOUT ANY WARRANTY; without even the implied warranty of | |
14 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
15 | GNU General Public License for more details. | |
16 | ||
17 | You should have received a copy of the GNU General Public License | |
18 | along with GNU CC; see the file COPYING. If not, write to | |
201853b4 JL |
19 | the Free Software Foundation, 59 Temple Place - Suite 330, |
20 | Boston, MA 02111-1307, USA. */ | |
b79f73df | 21 | |
502b941f JL |
22 | /* As a special exception, if you link this library with other files, |
23 | some of which are compiled with GCC, to produce an executable, | |
24 | this library does not by itself cause the resulting executable | |
25 | to be covered by the GNU General Public License. | |
26 | This exception does not however invalidate any other reasons why | |
27 | the executable file might be covered by the GNU General Public License. */ | |
28 | ||
b79f73df JL |
29 | #define __CHILL_LIB__ |
30 | ||
b79f73df JL |
31 | #include <stdio.h> |
32 | #include <stdlib.h> | |
33 | #include <setjmp.h> | |
34 | /*#include "gvarargs.h" Gcc source and runtime libs use gvarargs.h */ | |
35 | ||
36 | #include "rtltypes.h" | |
37 | ||
38 | typedef void (*init_ptr) (); | |
39 | typedef int * tasking_ptr; | |
40 | ||
41 | /* Dummy functions for rts access. When we come here we have an error. */ | |
42 | ||
43 | typedef char *(*fetch_names) (int number); | |
44 | typedef int (*fetch_numbers) (char *name); | |
45 | ||
46 | static void __rts_main_loop () | |
47 | { | |
48 | /* do nothing in case of no run time system */ | |
49 | } | |
50 | init_ptr __RTS_MAIN_LOOP__ = __rts_main_loop; | |
51 | ||
52 | static void __rts_init () | |
53 | { | |
54 | /* do nothing in case of no run time system */ | |
55 | } | |
56 | init_ptr __RTS_INIT__ = __rts_init; | |
57 | ||
58 | static char *__fetch_name (int number) | |
59 | { | |
60 | fprintf (stderr, "ChillLib: fetch_name: no runtime system library linked.\n"); | |
61 | fflush (stderr); | |
62 | abort (); | |
63 | } | |
64 | fetch_names __RTS_FETCH_NAMES__ = __fetch_name; | |
65 | ||
66 | static int __fetch_number (char *name) | |
67 | { | |
68 | fprintf (stderr, "ChillLib: fetch_number: no runtime system library linked.\n"); | |
69 | fflush (stderr); | |
70 | abort (); | |
71 | } | |
72 | fetch_numbers __RTS_FETCH_NUMBERS__ = __fetch_number; |