petit: make argument of Write const
[omega.git] / omegaLIB.dsp
blob09c41b4fb8fd60c19f40e4414872d0faf5e5094a
1 # Microsoft Developer Studio Project File - Name="omegaLIB" - Package Owner=<4>\r
2 # Microsoft Developer Studio Generated Build File, Format Version 6.00\r
3 # ** DO NOT EDIT **\r
4 \r
5 # TARGTYPE "Win32 (x86) Static Library" 0x0104\r
6 \r
7 CFG=omegaLIB - Win32 Debug\r
8 !MESSAGE This is not a valid makefile. To build this project using NMAKE,\r
9 !MESSAGE use the Export Makefile command and run\r
10 !MESSAGE \r
11 !MESSAGE NMAKE /f "omegaLIB.mak".\r
12 !MESSAGE \r
13 !MESSAGE You can specify a configuration when running NMAKE\r
14 !MESSAGE by defining the macro CFG on the command line. For example:\r
15 !MESSAGE \r
16 !MESSAGE NMAKE /f "omegaLIB.mak" CFG="omegaLIB - Win32 Debug"\r
17 !MESSAGE \r
18 !MESSAGE Possible choices for configuration are:\r
19 !MESSAGE \r
20 !MESSAGE "omegaLIB - Win32 Release" (based on "Win32 (x86) Static Library")\r
21 !MESSAGE "omegaLIB - Win32 Debug" (based on "Win32 (x86) Static Library")\r
22 !MESSAGE \r
24 # Begin Project\r
25 # PROP AllowPerConfigDependencies 0\r
26 # PROP Scc_ProjName ""\r
27 # PROP Scc_LocalPath ""\r
28 CPP=cl.exe\r
29 RSC=rc.exe\r
31 !IF  "$(CFG)" == "omegaLIB - Win32 Release"\r
33 # PROP BASE Use_MFC 0\r
34 # PROP BASE Use_Debug_Libraries 0\r
35 # PROP BASE Output_Dir "Release"\r
36 # PROP BASE Intermediate_Dir "Release"\r
37 # PROP BASE Target_Dir ""\r
38 # PROP Use_MFC 0\r
39 # PROP Use_Debug_Libraries 0\r
40 # PROP Output_Dir "Release"\r
41 # PROP Intermediate_Dir "Release"\r
42 # PROP Target_Dir ""\r
43 # ADD BASE CPP /nologo /W3 /GX /O2 /D "WIN32" /D "NDEBUG" /D "_MBCS" /D "_LIB" /YX /FD /c\r
44 # ADD CPP /nologo /W3 /GX /O2 /D "WIN32" /D "NDEBUG" /D "_MBCS" /D "_LIB" /YX /FD /c\r
45 # ADD BASE RSC /l 0x409 /d "NDEBUG"\r
46 # ADD RSC /l 0x409 /d "NDEBUG"\r
47 BSC32=bscmake.exe\r
48 # ADD BASE BSC32 /nologo\r
49 # ADD BSC32 /nologo\r
50 LIB32=link.exe -lib\r
51 # ADD BASE LIB32 /nologo\r
52 # ADD LIB32 /nologo\r
54 !ELSEIF  "$(CFG)" == "omegaLIB - Win32 Debug"\r
56 # PROP BASE Use_MFC 0\r
57 # PROP BASE Use_Debug_Libraries 1\r
58 # PROP BASE Output_Dir "omegaLIB___Win32_Debug"\r
59 # PROP BASE Intermediate_Dir "omegaLIB___Win32_Debug"\r
60 # PROP BASE Target_Dir ""\r
61 # PROP Use_MFC 0\r
62 # PROP Use_Debug_Libraries 1\r
63 # PROP Output_Dir "DebugLIB"\r
64 # PROP Intermediate_Dir "DebugLIB"\r
65 # PROP Target_Dir ""\r
66 # ADD BASE CPP /nologo /W3 /Gm /GX /ZI /Od /D "WIN32" /D "_DEBUG" /D "_MBCS" /D "_LIB" /YX /FD /GZ /c\r
67 # ADD CPP /nologo /W3 /Gm /GX /ZI /Od /I "." /I ".\basic\include" /I ".\omega_lib\include" /D "WIN32" /D "_DEBUG" /D "_MBCS" /D "_LIB" /FR /YX /FD /GZ /TP /c\r
68 # ADD BASE RSC /l 0x409 /d "_DEBUG"\r
69 # ADD RSC /l 0x409 /d "_DEBUG"\r
70 BSC32=bscmake.exe\r
71 # ADD BASE BSC32 /nologo\r
72 # ADD BSC32 /nologo\r
73 LIB32=link.exe -lib\r
74 # ADD BASE LIB32 /nologo\r
75 # ADD LIB32 /nologo\r
77 !ENDIF \r
79 # Begin Target\r
81 # Name "omegaLIB - Win32 Release"\r
82 # Name "omegaLIB - Win32 Debug"\r
83 # Begin Group "Source Files"\r
85 # PROP Default_Filter "cpp;c;cxx;rc;def;r;odl;idl;hpj;bat"\r
86 # Begin Group "Omega Files"\r
88 # PROP Default_Filter ""\r
89 # Begin Group "Core"\r
91 # PROP Default_Filter ""\r
92 # Begin Source File\r
94 SOURCE=.\omega_lib\src\omega_core\oc.c\r
95 # End Source File\r
96 # Begin Source File\r
98 SOURCE=.\omega_lib\src\omega_core\oc_eq.c\r
99 # End Source File\r
100 # Begin Source File\r
102 SOURCE=.\omega_lib\src\omega_core\oc_exp_kill.c\r
103 # End Source File\r
104 # Begin Source File\r
106 SOURCE=.\omega_lib\src\omega_core\oc_global.c\r
107 # End Source File\r
108 # Begin Source File\r
110 SOURCE=.\omega_lib\src\omega_core\oc_print.c\r
111 # End Source File\r
112 # Begin Source File\r
114 SOURCE=.\omega_lib\src\omega_core\oc_problems.c\r
115 # End Source File\r
116 # Begin Source File\r
118 SOURCE=.\omega_lib\src\omega_core\oc_query.c\r
119 # End Source File\r
120 # Begin Source File\r
122 SOURCE=.\omega_lib\src\omega_core\oc_quick_kill.c\r
123 # End Source File\r
124 # Begin Source File\r
126 SOURCE=.\omega_lib\src\omega_core\oc_simple.c\r
127 # End Source File\r
128 # Begin Source File\r
130 SOURCE=.\omega_lib\src\omega_core\oc_solve.c\r
131 # End Source File\r
132 # Begin Source File\r
134 SOURCE=.\omega_lib\src\omega_core\oc_util.c\r
135 # End Source File\r
136 # End Group\r
137 # Begin Group "Basic"\r
139 # PROP Default_Filter ""\r
140 # Begin Source File\r
142 SOURCE=.\basic\src\ConstString.c\r
143 # End Source File\r
144 # Begin Source File\r
146 SOURCE=.\basic\src\Exit.c\r
147 # End Source File\r
148 # Begin Source File\r
150 SOURCE=.\basic\src\Link.c\r
151 # End Source File\r
152 # End Group\r
153 # Begin Source File\r
155 SOURCE=.\omega_lib\src\AST.c\r
156 # End Source File\r
157 # Begin Source File\r
159 SOURCE=.\omega_lib\src\closure.c\r
160 # End Source File\r
161 # Begin Source File\r
163 SOURCE=.\omega_lib\src\evac.c\r
164 # End Source File\r
165 # Begin Source File\r
167 SOURCE=.\omega_lib\src\farkas.c\r
168 # End Source File\r
169 # Begin Source File\r
171 SOURCE=.\omega_lib\src\hull.c\r
172 # End Source File\r
173 # Begin Source File\r
175 SOURCE=.\omega_lib\src\lib_hack.c\r
177 !IF  "$(CFG)" == "omegaLIB - Win32 Release"\r
179 !ELSEIF  "$(CFG)" == "omegaLIB - Win32 Debug"\r
181 !ENDIF \r
183 # End Source File\r
184 # Begin Source File\r
186 SOURCE=.\omega_lib\src\pres_beaut.c\r
187 # End Source File\r
188 # Begin Source File\r
190 SOURCE=.\omega_lib\src\pres_cnstr.c\r
191 # End Source File\r
192 # Begin Source File\r
194 SOURCE=.\omega_lib\src\pres_col.c\r
195 # End Source File\r
196 # Begin Source File\r
198 SOURCE=.\omega_lib\src\pres_conj.c\r
199 # End Source File\r
200 # Begin Source File\r
202 SOURCE=.\omega_lib\src\pres_decl.c\r
203 # End Source File\r
204 # Begin Source File\r
206 SOURCE=.\omega_lib\src\pres_dnf.c\r
207 # End Source File\r
208 # Begin Source File\r
210 SOURCE=.\omega_lib\src\pres_form.c\r
211 # End Source File\r
212 # Begin Source File\r
214 SOURCE=.\omega_lib\src\pres_gen.c\r
215 # End Source File\r
216 # Begin Source File\r
218 SOURCE=.\omega_lib\src\pres_logic.c\r
219 # End Source File\r
220 # Begin Source File\r
222 SOURCE=.\omega_lib\src\pres_print.c\r
223 # End Source File\r
224 # Begin Source File\r
226 SOURCE=.\omega_lib\src\pres_quant.c\r
227 # End Source File\r
228 # Begin Source File\r
230 SOURCE=.\omega_lib\src\pres_rear.c\r
231 # End Source File\r
232 # Begin Source File\r
234 SOURCE=.\omega_lib\src\pres_subs.c\r
235 # End Source File\r
236 # Begin Source File\r
238 SOURCE=.\omega_lib\src\pres_var.c\r
239 # End Source File\r
240 # Begin Source File\r
242 SOURCE=.\omega_lib\src\reach.c\r
243 # End Source File\r
244 # Begin Source File\r
246 SOURCE=.\omega_lib\src\Relation.c\r
247 # End Source File\r
248 # Begin Source File\r
250 SOURCE=.\omega_lib\src\Relations.c\r
251 # End Source File\r
252 # Begin Source File\r
254 SOURCE=.\omega_lib\src\RelBody.c\r
255 # End Source File\r
256 # Begin Source File\r
258 SOURCE=.\omega_lib\src\RelVar.c\r
259 # End Source File\r
260 # Begin Source File\r
262 SOURCE=.\omega_lib\src\ubiquitous.c\r
264 !IF  "$(CFG)" == "omegaLIB - Win32 Release"\r
266 !ELSEIF  "$(CFG)" == "omegaLIB - Win32 Debug"\r
268 # PROP Exclude_From_Build 1\r
270 !ENDIF \r
272 # End Source File\r
273 # End Group\r
274 # End Group\r
275 # Begin Group "Header Files"\r
277 # PROP Default_Filter "h;hpp;hxx;hm;inl"\r
278 # Begin Group "Omega Headers"\r
280 # PROP Default_Filter ""\r
281 # Begin Group "Basic Headers"\r
283 # PROP Default_Filter ""\r
284 # Begin Source File\r
286 SOURCE=.\basic\include\basic\assert.h\r
287 # End Source File\r
288 # Begin Source File\r
290 SOURCE=.\basic\include\basic\Bag.h\r
291 # End Source File\r
292 # Begin Source File\r
294 SOURCE=.\basic\include\basic\bool.h\r
295 # End Source File\r
296 # Begin Source File\r
298 SOURCE=.\basic\include\basic\Collection.h\r
299 # End Source File\r
300 # Begin Source File\r
302 SOURCE=.\basic\include\basic\Collections.h\r
303 # End Source File\r
304 # Begin Source File\r
306 SOURCE=.\basic\include\basic\ConstString.h\r
307 # End Source File\r
308 # Begin Source File\r
310 SOURCE=.\basic\include\basic\Dynamic_Array.h\r
311 # End Source File\r
312 # Begin Source File\r
314 SOURCE=.\basic\include\basic\enter_Bag.h\r
315 # End Source File\r
316 # Begin Source File\r
318 SOURCE=.\basic\include\basic\enter_Collection.h\r
319 # End Source File\r
320 # Begin Source File\r
322 SOURCE=.\basic\include\basic\enter_Iterator.h\r
323 # End Source File\r
324 # Begin Source File\r
326 SOURCE=.\basic\include\basic\enter_List.h\r
327 # End Source File\r
328 # Begin Source File\r
330 SOURCE=.\basic\include\basic\enter_Map.h\r
331 # End Source File\r
332 # Begin Source File\r
334 SOURCE=.\basic\include\basic\enter_Section.h\r
335 # End Source File\r
336 # Begin Source File\r
338 SOURCE=.\basic\include\basic\enter_String.h\r
339 # End Source File\r
340 # Begin Source File\r
342 SOURCE=.\basic\include\basic\enter_Tuple.h\r
343 # End Source File\r
344 # Begin Source File\r
346 SOURCE=.\basic\include\basic\Exit.h\r
347 # End Source File\r
348 # Begin Source File\r
350 SOURCE=.\basic\include\basic\Iterator.h\r
351 # End Source File\r
352 # Begin Source File\r
354 SOURCE=.\basic\include\basic\leave_Bag.h\r
355 # End Source File\r
356 # Begin Source File\r
358 SOURCE=.\basic\include\basic\leave_Collection.h\r
359 # End Source File\r
360 # Begin Source File\r
362 SOURCE=.\basic\include\basic\leave_Iterator.h\r
363 # End Source File\r
364 # Begin Source File\r
366 SOURCE=.\basic\include\basic\leave_List.h\r
367 # End Source File\r
368 # Begin Source File\r
370 SOURCE=.\basic\include\basic\leave_Map.h\r
371 # End Source File\r
372 # Begin Source File\r
374 SOURCE=.\basic\include\basic\leave_Section.h\r
375 # End Source File\r
376 # Begin Source File\r
378 SOURCE=.\basic\include\basic\leave_String.h\r
379 # End Source File\r
380 # Begin Source File\r
382 SOURCE=.\basic\include\basic\leave_Tuple.h\r
383 # End Source File\r
384 # Begin Source File\r
386 SOURCE=.\basic\include\basic\Link.h\r
387 # End Source File\r
388 # Begin Source File\r
390 SOURCE=.\basic\include\basic\List.h\r
391 # End Source File\r
392 # Begin Source File\r
394 SOURCE=.\basic\include\basic\Map.h\r
395 # End Source File\r
396 # Begin Source File\r
398 SOURCE=.\basic\include\basic\NonCoercible.h\r
399 # End Source File\r
400 # Begin Source File\r
402 SOURCE=.\basic\include\basic\Section.h\r
403 # End Source File\r
404 # Begin Source File\r
406 SOURCE=.\basic\include\basic\SimpleList.h\r
407 # End Source File\r
408 # Begin Source File\r
410 SOURCE=.\basic\include\basic\String.h\r
411 # End Source File\r
412 # Begin Source File\r
414 SOURCE=.\basic\include\basic\Tuple.h\r
415 # End Source File\r
416 # Begin Source File\r
418 SOURCE=.\basic\include\basic\util.h\r
419 # End Source File\r
420 # End Group\r
421 # Begin Group "Core Headers"\r
423 # PROP Default_Filter ""\r
424 # Begin Source File\r
426 SOURCE=.\omega_lib\include\omega\AST.h\r
427 # End Source File\r
428 # Begin Source File\r
430 SOURCE=.\omega_lib\include\omega\calc_debug.h\r
431 # End Source File\r
432 # Begin Source File\r
434 SOURCE=.\omega_lib\include\omega\closure.h\r
435 # End Source File\r
436 # Begin Source File\r
438 SOURCE=.\omega_lib\include\omega\omega_core\debugging.h\r
439 # End Source File\r
440 # Begin Source File\r
442 SOURCE=.\omega_lib\include\omega\enter_AST.h\r
443 # End Source File\r
444 # Begin Source File\r
446 SOURCE=.\omega_lib\include\omega\enter_omega.h\r
447 # End Source File\r
448 # Begin Source File\r
450 SOURCE=.\omega_lib\include\omega\evac.h\r
451 # End Source File\r
452 # Begin Source File\r
454 SOURCE=.\omega_lib\include\omega\farkas.h\r
455 # End Source File\r
456 # Begin Source File\r
458 SOURCE=.\omega_lib\include\omega\hull.h\r
459 # End Source File\r
460 # Begin Source File\r
462 SOURCE=.\omega_lib\include\omega\leave_AST.h\r
463 # End Source File\r
464 # Begin Source File\r
466 SOURCE=.\omega_lib\include\omega\leave_omega.h\r
467 # End Source File\r
468 # Begin Source File\r
470 SOURCE=.\omega_lib\include\omega\lib_hack.h\r
471 # End Source File\r
472 # Begin Source File\r
474 SOURCE=.\omega_lib\include\omega\omega_core\oc.h\r
475 # End Source File\r
476 # Begin Source File\r
478 SOURCE=.\omega_lib\include\omega\omega_core\oc_i.h\r
479 # End Source File\r
480 # Begin Source File\r
482 SOURCE=.\omega_lib\include\omega\omega_i.h\r
483 # End Source File\r
484 # Begin Source File\r
486 SOURCE=.\omega_lib\include\omega\pres_cmpr.h\r
487 # End Source File\r
488 # Begin Source File\r
490 SOURCE=.\omega_lib\include\omega\pres_cnstr.h\r
491 # End Source File\r
492 # Begin Source File\r
494 SOURCE=.\omega_lib\include\omega\pres_conj.h\r
495 # End Source File\r
496 # Begin Source File\r
498 SOURCE=.\omega_lib\include\omega\pres_decl.h\r
499 # End Source File\r
500 # Begin Source File\r
502 SOURCE=.\omega_lib\include\omega\pres_dnf.h\r
503 # End Source File\r
504 # Begin Source File\r
506 SOURCE=.\omega_lib\include\omega\pres_form.h\r
507 # End Source File\r
508 # Begin Source File\r
510 SOURCE=.\omega_lib\include\omega\pres_gen.h\r
511 # End Source File\r
512 # Begin Source File\r
514 SOURCE=.\omega_lib\include\omega\pres_logic.h\r
515 # End Source File\r
516 # Begin Source File\r
518 SOURCE=.\omega_lib\include\omega\pres_quant.h\r
519 # End Source File\r
520 # Begin Source File\r
522 SOURCE=.\omega_lib\include\omega\pres_subs.h\r
523 # End Source File\r
524 # Begin Source File\r
526 SOURCE=.\omega_lib\include\omega\pres_tree.h\r
527 # End Source File\r
528 # Begin Source File\r
530 SOURCE=.\omega_lib\include\omega\pres_var.h\r
531 # End Source File\r
532 # Begin Source File\r
534 SOURCE=.\omega_lib\include\omega\reach.h\r
535 # End Source File\r
536 # Begin Source File\r
538 SOURCE=.\omega_lib\include\omega\Rel_map.h\r
539 # End Source File\r
540 # Begin Source File\r
542 SOURCE=.\omega_lib\include\omega\Relation.h\r
543 # End Source File\r
544 # Begin Source File\r
546 SOURCE=.\omega_lib\include\omega\Relations.h\r
547 # End Source File\r
548 # Begin Source File\r
550 SOURCE=.\omega_lib\include\omega\RelBody.h\r
551 # End Source File\r
552 # End Group\r
553 # Begin Source File\r
555 SOURCE=.\omega_lib\include\omega.h\r
556 # End Source File\r
557 # End Group\r
558 # End Group\r
559 # End Target\r
560 # End Project\r