-
Notifications
You must be signed in to change notification settings - Fork 5
/
depend
31 lines (31 loc) · 2.1 KB
/
depend
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
minDisjNoCov_port_dats.o: minDisjNoCov_port_dats.c \
/home/brand_000/ats-lang-anairiats-0.2.11/ccomp/runtime/ats_config.h \
/home/brand_000/ats-lang-anairiats-0.2.11/config.h \
/home/brand_000/ats-lang-anairiats-0.2.11/ccomp/runtime/ats_basics.h \
/home/brand_000/ats-lang-anairiats-0.2.11/ccomp/runtime/ats_types.h \
/home/brand_000/ats-lang-anairiats-0.2.11/ccomp/runtime/ats_exception.h \
/home/brand_000/ats-lang-anairiats-0.2.11/ccomp/runtime/ats_types.h \
/home/brand_000/ats-lang-anairiats-0.2.11/ccomp/runtime/ats_basics.h \
/home/brand_000/ats-lang-anairiats-0.2.11/ccomp/runtime/ats_memory.h \
/home/brand_000/ats-lang-anairiats-0.2.11/prelude/CATS/basics.cats \
/home/brand_000/ats-lang-anairiats-0.2.11/prelude/CATS/bool.cats \
/home/brand_000/ats-lang-anairiats-0.2.11/prelude/CATS/char.cats \
/home/brand_000/ats-lang-anairiats-0.2.11/prelude/CATS/byte.cats \
/home/brand_000/ats-lang-anairiats-0.2.11/prelude/CATS/float.cats \
/home/brand_000/ats-lang-anairiats-0.2.11/prelude/CATS/integer.cats \
/home/brand_000/ats-lang-anairiats-0.2.11/prelude/CATS/integer_ptr.cats \
/home/brand_000/ats-lang-anairiats-0.2.11/prelude/CATS/integer_fixed.cats \
/home/brand_000/ats-lang-anairiats-0.2.11/prelude/CATS/sizetype.cats \
/home/brand_000/ats-lang-anairiats-0.2.11/prelude/CATS/pointer.cats \
/home/brand_000/ats-lang-anairiats-0.2.11/prelude/CATS/reference.cats \
/home/brand_000/ats-lang-anairiats-0.2.11/prelude/CATS/string.cats \
/home/brand_000/ats-lang-anairiats-0.2.11/prelude/CATS/lazy.cats \
/home/brand_000/ats-lang-anairiats-0.2.11/prelude/CATS/lazy_vt.cats \
/home/brand_000/ats-lang-anairiats-0.2.11/prelude/CATS/printf.cats \
/home/brand_000/ats-lang-anairiats-0.2.11/prelude/CATS/list.cats \
/home/brand_000/ats-lang-anairiats-0.2.11/prelude/CATS/option.cats \
/home/brand_000/ats-lang-anairiats-0.2.11/prelude/CATS/array.cats \
/home/brand_000/ats-lang-anairiats-0.2.11/prelude/CATS/matrix.cats \
/home/brand_000/ats-lang-anairiats-0.2.11/libc/CATS/stdio.cats \
/home/brand_000/ats-lang-anairiats-0.2.11/libc/sys/CATS/types.cats \
/home/brand_000/ats-lang-anairiats-0.2.11/libc/CATS/math.cats