-
Notifications
You must be signed in to change notification settings - Fork 16
/
Copy path.gitignore
43 lines (41 loc) · 966 Bytes
/
.gitignore
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
# Specific generated files
/dph-base/dist-install/
/dph-base/ghc.mk
/dph-base/GNUmakefile
/dph-common/ghc.mk
/dph-common/GNUmakefile
/dph-prim-interface/dist-install/
/dph-prim-interface/ghc.mk
/dph-prim-interface/GNUmakefile
/dph-prim-par/dist-install/
/dph-prim-par/ghc.mk
/dph-prim-par/GNUmakefile
/dph-prim-seq/dist-install/
/dph-prim-seq/ghc.mk
/dph-prim-seq/GNUmakefile
*.o
*.hi
/dph-test/bin/
/dph-common-vseg/dist/
/dph-lifted-copy-seq/
/dph-lifted-copy-par/
/dph-lifted-vseg-par/
/dph-lifted-vseg-seq/
dph-lifted-vseg/GNUmakefile
dph-lifted-vseg/ghc.mk
dph-lifted-copy/GNUmakefile
dph-lifted-copy/ghc.mk
dph-lifted-boxed/GNUmakefile
dph-lifted-boxed/ghc.mk
dph-lifted-boxed/dist-install/
dph-lifted-copy/dist-install/
dph-lifted-vseg/dist-install/
dph-examples/dist/
dph-lifted-base/dist-install/
dph-lifted-base/ghc.mk
dph-lifted-base/GNUmakefile
dph-lifted-copy/dist/
dph-lifted-vseg/dist/
dph-prim-par/dist/
dph-prim-seq/dist/
dph-prim-interface/dist/