File tree Expand file tree Collapse file tree 7 files changed +60
-22
lines changed Expand file tree Collapse file tree 7 files changed +60
-22
lines changed Original file line number Diff line number Diff line change @@ -5,6 +5,7 @@ ALR_BUILD = alr build --development --profiles="*=development"
5
5
6
6
build :
7
7
cd json && $(ALR_BUILD )
8
+ cd tools && $(ALR_BUILD )
8
9
9
10
clean :
10
11
-gnatprove --clean -P json/json.gpr
Original file line number Diff line number Diff line change @@ -5,9 +5,6 @@ website = "https://github.com/onox/json-ada"
5
5
licenses = " Apache-2.0"
6
6
tags = [" json" ]
7
7
8
- # executables = ["pretty_print"]
9
- # project-files = ["json.gpr", "json_pretty_print.gpr"]
10
-
11
8
project-files = [" json.gpr" ]
12
9
13
10
authors = [" onox" ]
Load Diff This file was deleted.
Original file line number Diff line number Diff line change
1
+ name = " json_tools"
2
+ description = " Tools for json-ada"
3
+ version = " 5.0.3"
4
+ website = " https://github.com/onox/json-ada"
5
+ licenses = " Apache-2.0"
6
+ tags = [" json" ]
7
+
8
+ executables = [" pretty_print" ]
9
+ project-files = [" json_tools.gpr" ]
10
+
11
+ authors = [" onox" ]
12
+ maintainers = [" onox <denkpadje@gmail.com>" ]
13
+ maintainers-logins = [" onox" ]
14
+
15
+ [[depends-on ]]
16
+ json = " ^5.0.3"
17
+
18
+ [[pins ]]
19
+ json = { path = " ../json" }
20
+
21
+ [build-switches ]
22
+ validation.compile_checks = " warnings"
23
+ "*".style_checks = [" -gnatygAOM120-Is" ]
Original file line number Diff line number Diff line change
1
+ pragma Restrictions (No_Obsolescent_Features);
2
+ pragma Profile (No_Implementation_Extensions);
Original file line number Diff line number Diff line change
1
+ -- SPDX-License-Identifier: Apache-2.0
2
+ --
3
+ -- Copyright (c) 2016 onox <denkpadje@gmail.com>
4
+ --
5
+ -- Licensed under the Apache License, Version 2.0 (the "License");
6
+ -- you may not use this file except in compliance with the License.
7
+ -- You may obtain a copy of the License at
8
+ --
9
+ -- http://www.apache.org/licenses/LICENSE-2.0
10
+ --
11
+ -- Unless required by applicable law or agreed to in writing, software
12
+ -- distributed under the License is distributed on an "AS IS" BASIS,
13
+ -- WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14
+ -- See the License for the specific language governing permissions and
15
+ -- limitations under the License.
16
+
17
+ with "json";
18
+ with "config/json_tools_config";
19
+
20
+ project JSON_Tools is
21
+
22
+ for Create_Missing_Dirs use "True";
23
+
24
+ for Source_Dirs use ("src");
25
+ for Object_Dir use "build/obj/" & JSON_Tools_Config.Build_Profile;
26
+
27
+ for Exec_Dir use "build/bin";
28
+
29
+ for Main use ("pretty_print.adb");
30
+
31
+ package Compiler renames JSON.Compiler;
32
+ package Binder renames JSON.Binder;
33
+
34
+ end JSON_Tools;
File renamed without changes.
You can’t perform that action at this time.
0 commit comments