2.0
acw/focus-triggers
main
|
Last change
on this file since a78dd2e was a78dd2e, checked in by Stephen Siegel <siegel@…>, 11 days ago |
|
Further work on complex numbers; now $input works for complexes.
Introducing a "bugs" directory for examples that reveal bugs in CIVL.
|
-
Property mode
set to
100644
|
|
File size:
649 bytes
|
| Rev | Line | |
|---|
| [478ca9e] | 1 |
|
|---|
| [a78dd2e] | 2 | all: verify run
|
|---|
| 3 |
|
|---|
| 4 | verify: verify_complex_basics verify_complex1 verify_complex_funs
|
|---|
| 5 |
|
|---|
| 6 | run: run_complex_basics run_complex_funs
|
|---|
| [478ca9e] | 7 |
|
|---|
| 8 |
|
|---|
| 9 | verify_complex_basics: complex_basics.c
|
|---|
| 10 | civl verify $<
|
|---|
| 11 |
|
|---|
| 12 | run_complex_basics: complex_basics.c
|
|---|
| [a78dd2e] | 13 | cc -Wall -o complex_basics.exec $<
|
|---|
| [478ca9e] | 14 | ./complex_basics.exec
|
|---|
| 15 |
|
|---|
| [a78dd2e] | 16 | verify_complex1: complex1.cvl
|
|---|
| 17 | civl verify $<
|
|---|
| 18 |
|
|---|
| 19 | verify_complex_funs: complex_funs.c
|
|---|
| 20 | civl verify $<
|
|---|
| 21 |
|
|---|
| 22 | run_complex_funs: complex_funs.c
|
|---|
| 23 | cc -Wall -o complex_funs.exec $<
|
|---|
| 24 | ./complex_funs.exec
|
|---|
| [478ca9e] | 25 |
|
|---|
| 26 | clean:
|
|---|
| 27 | rm -rf *.exec *~ CIVLREP a.out
|
|---|
| 28 |
|
|---|
| [a78dd2e] | 29 | _PHONY: verify_complex_basics run_complex_basics \
|
|---|
| 30 | verify_complex1 \
|
|---|
| 31 | verify_complex_funs run_complex_funs \
|
|---|
| 32 | all verify run clean
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.