diff --git a/src/main.cpp b/src/main.cpp index 2c20da8..07615e0 100644 --- a/src/main.cpp +++ b/src/main.cpp @@ -824,13 +824,16 @@ void work() { } int main(int argc, char* argv[]) { + #define AS_STR(x) #x argparse::ArgumentParser program("acpa", - APP_VERSION, + AS_STR(APP_VERSION), argparse::default_arguments::help, false); + program.add_argument("input_file") .help("Source proof file") .action([](const std::string& value) { return value; }); + try { program.parse_args(argc, argv); } catch (const std::runtime_error& err) { @@ -847,3 +850,4 @@ int main(int argc, char* argv[]) { work(); return 0; } + diff --git a/xmake.lua b/xmake.lua index 1ff671b..3ac57d1 100644 --- a/xmake.lua +++ b/xmake.lua @@ -14,7 +14,7 @@ target("build") add_files("src/**.cpp") -- add_includedirs("include/") add_includedirs("third-party/") - add_defines("APP_VERSION=\"" .. app_version .. "\"") + add_defines("APP_VERSION=" .. app_version) if is_mode("release") then set_strip("all") set_optimize("faster")