Skip to content

Commit

Permalink
move clasp app to cli part of library
Browse files Browse the repository at this point in the history
  • Loading branch information
rkaminsk authored and BenKaufmann committed May 3, 2022
1 parent 51441a8 commit 335c762
Show file tree
Hide file tree
Showing 5 changed files with 6 additions and 6 deletions.
2 changes: 0 additions & 2 deletions app/CMakeLists.txt
Original file line number Diff line number Diff line change
@@ -1,6 +1,4 @@
set(files
clasp_app.cpp
clasp_app.h
main.cpp)
add_executable(clasp ${files})
set_target_properties(clasp PROPERTIES FOLDER exe)
Expand Down
2 changes: 1 addition & 1 deletion app/main.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@
// FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
// IN THE SOFTWARE.
//
#include "clasp_app.h"
#include <clasp/cli/clasp_app.h>
/////////////////////////////////////////////////////////////////////////////////////////
// main - entry point
/////////////////////////////////////////////////////////////////////////////////////////
Expand Down
4 changes: 2 additions & 2 deletions app/clasp_app.h → clasp/cli/clasp_app.h
Original file line number Diff line number Diff line change
Expand Up @@ -21,8 +21,8 @@
// FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
// IN THE SOFTWARE.
//
#ifndef CLASP_CLASP_APP_H_INCLUDED
#define CLASP_CLASP_APP_H_INCLUDED
#ifndef CLASP_CLI_CLASP_APP_H_INCLUDED
#define CLASP_CLI_CLASP_APP_H_INCLUDED

#ifdef _MSC_VER
#pragma once
Expand Down
2 changes: 2 additions & 0 deletions src/CMakeLists.txt
Original file line number Diff line number Diff line change
Expand Up @@ -75,6 +75,7 @@ set(header_util
${header_path}/util/timer.h)
source_group("${ide_header}\\util" FILES ${header_util})
set(header_cli
${header_path}/cli/clasp_app.h
${header_path}/cli/clasp_cli_configs.inl
${header_path}/cli/clasp_cli_options.inl
${header_path}/cli/clasp_output.h
Expand All @@ -84,6 +85,7 @@ source_group("${ide_header}\\cli" FILES ${header_cli})
set(src
asp_preprocessor.cpp
cb_enumerator.cpp
clasp_app.cpp
clasp_facade.cpp
clasp_options.cpp
clasp_output.cpp
Expand Down
2 changes: 1 addition & 1 deletion app/clasp_app.cpp → src/clasp_app.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@
// FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
// IN THE SOFTWARE.
//
#include "clasp_app.h"
#include <clasp/cli/clasp_app.h>
#include <clasp/solver.h>
#include <clasp/dependency_graph.h>
#include <clasp/parser.h>
Expand Down

2 comments on commit 335c762

@Alessandro-Barbieri
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks alot for this

@rkaminsk
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks alot for this

Clingo also needs a small patch. I'll do this tomorrow and also prepare a release. Just in case you intend to package it, too.

Please sign in to comment.