Awali
Another Weighted Automata library
compile.hh
Go to the documentation of this file.
1 // This file is part of Awali.
2 // Copyright 2016-2022 Sylvain Lombardy, Victor Marsault, Jacques Sakarovitch
3 //
4 // Awali is a free software: you can redistribute it and/or modify
5 // it under the terms of the GNU General Public License as published by
6 // the Free Software Foundation, either version 3 of the License, or
7 // (at your option) any later version.
8 //
9 // This program is distributed in the hope that it will be useful,
10 // but WITHOUT ANY WARRANTY; without even the implied warranty of
11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 // GNU General Public License for more details.
13 //
14 // You should have received a copy of the GNU General Public License
15 // along with this program. If not, see <http://www.gnu.org/licenses/>.
16 
17 #ifndef AWALI_DYN_LOADING_COMPILE_HH
18 #define AWALI_DYN_LOADING_COMPILE_HH
19 
20 
21 #include <string>
22 
23 namespace awali {
24  namespace dyn {
25  namespace loading {
26 
27  std::string libname(const std::string& ctx, const std::string& name);
28  std::string libname(const std::string& ctx1, const std::string& ctx2,
29  const std::string& name);
30 
31  std::string
32  make_library(const std::string &name, const std::string &static_context,
33  bool check_dependency = false);
34  std::string
35  make_library(const std::string &name, const std::string &static_context1,
36  const std::string &static_context2,
37  bool check_dependency = false);
38  }
39  }
40 }
41 
42 #endif
std::string libname(const std::string &ctx, const std::string &name)
std::string make_library(const std::string &name, const std::string &static_context, bool check_dependency=false)
Main namespace of Awali.
Definition: ato.hh:22