UNPKG

atscntrb-hx-mysession-2

Version:

This package is for experimenting with session types

78 lines (55 loc) • 1.03 kB
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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
# # A Simple Makefile # ###### PATSCC=$(PATSHOME)/bin/patscc PATSOPT=$(PATSHOME)/bin/patsopt ###### all:: ###### all:: \ sieve sieve: \ sieve.dats; \ $(PATSCC) -D_GNU_SOURCE -DATS_MEMALLOC_LIBC -o $@ $< -lpthread regress:: sieve; ./$< cleanall:: ; $(RMF) sieve ###### all:: \ bitstr bitstr: \ bitstr.dats; \ $(PATSCC) -D_GNU_SOURCE -DATS_MEMALLOC_LIBC -o $@ $< -lpthread regress:: \ bitstr; ./bitstr 123 987 cleanall:: ; $(RMF) bitstr ###### all:: \ mergesort mergesort: \ mergesort.dats; \ $(PATSCC) -D_GNU_SOURCE -DATS_MEMALLOC_LIBC -o $@ $< -lpthread regress:: mergesort; ./$< cleanall:: ; $(RMF) mergesort ###### all:: \ mergesort2 mergesort2: \ mergesort2.dats; \ $(PATSCC) -D_GNU_SOURCE -DATS_MEMALLOC_LIBC -o $@ $< -lpthread regress:: mergesort2; ./$< cleanall:: ; $(RMF) mergesort2 ###### RMF=rm -f ###### testall:: all testall:: regress testall:: cleanall ###### clean:: ; $(RMF) *~ clean:: ; $(RMF) *_?ats.c clean:: ; $(RMF) *_?ats.o ###### cleanall:: clean ###### ###### end of [Makefile] ######