isabelle-core/isabelle-core.sublime-project at main · isabelle-platform/isabelle-core · GitHub

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
79
80
81
{
	"folders":
	[
		{
			"path": "."
		}
	],
	"build_systems":
	[
		{
			"cmd":
			[
				"make"
			],
			"name": "Isabelle Core - build",
			"shell": true,
			"working_dir": "${project_path:${folder}}",
			"file_regex": "[ ]*--> (.*):(.*):(.*)$",
		},
		{
			"cmd":
			[
				"make && ./run.sh"
			],
			"name": "Isabelle Core - build & run",
			"shell": true,
			"working_dir": "${project_path:${folder}}",
			"file_regex": "[ ]*--> (.*):(.*):(.*)$",
		},
		{
			"cmd":
			[
				"make && ./run.sh --data-path ./data-sample --database sample --plugin-dir . --cookie-http-insecure"
			],
			"name": "Sample Core - build & run",
			"shell": true,
			"working_dir": "${project_path:${folder}}",
			"file_regex": "[ ]*--> (.*):(.*):(.*)$",
		},
		{
			"cmd":
			[
				"make && ./run.sh --data-path ./data-evolucao --database evolucao --plugin-dir . --cookie-http-insecure"
			],
			"name": "Evolucao Core - build & run",
			"shell": true,
			"working_dir": "${project_path:${folder}}",
			"file_regex": "[ ]*--> (.*):(.*):(.*)$",
		},
		{
			"cmd":
			[
				"make && ./run.sh --data-path ./data-intranet --database intranet --plugin-dir . --cookie-http-insecure"
			],
			"name": "IntraNet Core - build & run",
			"shell": true,
			"working_dir": "${project_path:${folder}}",
			"file_regex": "[ ]*--> (.*):(.*):(.*)$",
		},
		{
			"cmd":
			[
				"make && ./run.sh --data-path ./data-cloudcpe --database cloudcpe --plugin-dir . --cookie-http-insecure"
			],
			"name": "CloudCPE Core - build & run",
			"shell": true,
			"working_dir": "${project_path:${folder}}",
			"file_regex": "[ ]*--> (.*):(.*):(.*)$",
		},
		{
			"cmd":
			[
				"make && ./run.sh --data-path ./data-didactist --database didactist --plugin-dir . --cookie-http-insecure"
			],
			"name": "Didactist Core - build & run",
			"shell": true,
			"working_dir": "${project_path:${folder}}",
			"file_regex": "[ ]*--> (.*):(.*):(.*)$",
		}
	]
}