source: tests/Includes.cfa @ 097d3e1

arm-ehjacob/cs343-translationnew-ast-unique-expr
Last change on this file since 097d3e1 was 097d3e1, checked in by Peter A. Buhr <pabuhr@…>, 8 months ago

add test for list of /usr/include files

  • Property mode set to 100644
File size: 4.0 KB
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// includes.c --
8//
9// Author           : Peter A. Buhr
10// Created On       : Wed May 27 17:56:53 2015
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Sun Feb 21 19:03:01 2021
13// Update Count     : 685
14//
15
16#ifdef __CFA__
17extern "C" {
18#endif // __CFA__
19
20//#define _GNU_SOURCE
21//#include <FlexLexer.h>
22#include <aio.h>
23#include <aliases.h>
24#include <alloca.h>
25#include <ar.h>
26#include <argp.h>
27#include <argz.h>
28#include <assert.h>
29#include <byteswap.h>
30#include <complex.h>
31#include <cpio.h>
32#include <crypt.h>
33#include <ctype.h>
34#include <curses.h>
35//#include <cursesapp.h>
36//#include <cursesf.h>
37//#include <cursesm.h>
38//#include <cursesp.h>
39//#include <cursesw.h>
40//#include <cursslk.h>
41#include <dirent.h>
42#include <dlfcn.h>
43#include <elf.h>
44#include <emacs-module.h>
45#include <endian.h>
46#include <envz.h>
47#include <err.h>
48#include <errno.h>
49#include <error.h>
50#include <eti.h>
51//#include <etip.h>
52#include <execinfo.h>
53#include <expat.h>
54#include <expat_external.h>
55#include <fcntl.h>
56#include <features.h>
57#include <fenv.h>
58#include <fmtmsg.h>
59#include <fnmatch.h>
60#include <form.h>
61#include <fstab.h>
62#include <fts.h>
63#include <ftw.h>
64#include <sys/types.h>
65//#include <gawkapi.h>                                                                  // CFA bug #240 nested anonymous enum fails
66#include <gconv.h>
67#include <getopt.h>
68#include <glob.h>
69//#include <gmpxx.h>
70#include <gnumake.h>
71#include <gnu-versions.h>
72#include <grp.h>
73#include <gshadow.h>
74#include <iconv.h>
75#include <ifaddrs.h>
76#include <inttypes.h>
77#include <langinfo.h>
78#include <lastlog.h>
79#include <libgen.h>
80#include <libintl.h>
81#include <limits.h>
82//#include <link.h>                                                                             // CFA bug #240 nested anonymous enum fails
83#include <locale.h>
84//#include <ltdl.h>
85#include <lzma.h>
86//#include <malloc.h>                                                                           // CFA #include_next
87#include <math.h>
88#include <mcheck.h>
89#include <memory.h>
90#include <menu.h>
91#include <mntent.h>
92#include <monetary.h>
93#include <mpath_cmd.h>
94#include <mpath_persist.h>
95#include <mqueue.h>
96#include <ncurses_dll.h>
97//#include <nc_tparm.h>
98#include <netdb.h>
99#include <nl_types.h>
100#include <nss.h>
101#include <obstack.h>
102#include <panel.h>
103#include <paths.h>
104#include <poll.h>
105#include <printf.h>
106#include <proc_service.h>
107#include <pthread.h>
108#include <pty.h>
109#include <pwd.h>
110#include <regex.h>
111//#include <regexp.h>
112#include <resolv.h>
113#include <re_comp.h>
114#include <sched.h>
115#include <search.h>
116#include <semaphore.h>
117#include <setjmp.h>
118#include <sgtty.h>
119#include <shadow.h>
120#include <signal.h>
121#include <spawn.h>
122#include <stab.h>
123#include <stdc-predef.h>
124#include <stdint.h>
125#include <stdio.h>
126#include <stdio_ext.h>
127#include <stdlib.h>
128#include <string.h>
129#include <strings.h>
130#include <sudo_plugin.h>
131#include <syscall.h>
132#include <sysexits.h>
133#include <syslog.h>
134#include <tar.h>
135#include <term.h>
136#include <termcap.h>
137#include <termio.h>
138#include <termios.h>
139#include <term_entry.h>
140#include <tgmath.h>
141#include <threads.h>
142#include <thread_db.h>
143//#include <tic.h>
144#include <time.h>
145#include <ttyent.h>
146#include <uchar.h>
147#include <ucontext.h>
148#include <ulimit.h>
149#include <unctrl.h>
150#include <unistd.h>
151#include <utime.h>
152#include <utmp.h>
153#include <utmpx.h>
154#include <values.h>
155#include <wait.h>
156#include <wchar.h>
157#include <wctype.h>
158#include <wordexp.h>
159#include <z3.h>
160//#include <z3++.h>
161#include <z3_algebraic.h>
162#include <z3_api.h>
163#include <z3_ast_containers.h>
164#include <z3_fixedpoint.h>
165#include <z3_fpa.h>
166#include <z3_macros.h>
167#include <z3_optimization.h>
168#include <z3_polynomial.h>
169#include <z3_rcf.h>
170#include <z3_spacer.h>
171//#include <z3_v1.h>
172#include <z3_version.h>
173#include <zconf.h>
174#include <zlib.h>
175
176#if 0
177#endif // 0
178
179#ifdef __CFA__
180} // extern "C"
181#endif // __CFA__
182
183int main( int argc, char const *argv[] ) {
184        #pragma message( "Compiled" )                                           // force non-empty .expect file
185}
186
187// Local Variables: //
188// tab-width: 4 //
189// compile-command: "cfa includes.c" //
190// End: //
Note: See TracBrowser for help on using the repository browser.