c-semantics/semantics/c-cpp-linking.k at master · kframework/c-semantics · 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
require "kast.k"
require "domains.k"

require "cpp/linking.k"

require "c/linking.k"

require "linking/error.k"
require "linking/init.k"
require "linking/cpp-builtin.k"
require "linking/c-builtin.k"
require "linking/cpp-resolution.k"
require "linking/c-resolution.k"
require "linking/configuration.k"

require "common/common.k"

require "c-settings.k"
require "cpp-settings.k"
require "extensions-linking.k"

module C-CPP-LINKING-SYNTAX
endmodule

module C-CPP-LINKING
     imports CPP-LINKING

     imports C-CONFIGURATION
     imports C-LINKING

     imports LINKING-CPP-BUILTIN
     imports LINKING-CPP-RESOLUTION
     imports LINKING-C-BUILTIN
     imports LINKING-C-RESOLUTION
     imports LINKING-ERROR
     imports LINKING-INIT

     imports COMMON

     imports C-SETTINGS
     imports CPP-SETTINGS
     imports LINKING-EXTENSIONS
endmodule