From 23ca4cef5a0e6adaba7863b49d502fe93006f379 Mon Sep 17 00:00:00 2001 From: Darcy Shen Date: Thu, 19 Oct 2023 12:39:20 +0800 Subject: [PATCH] [47_2] glue symbol: system --- TeXmacs/progs/prog/glue-symbols.scm | 1 + src/Scheme/L2/glue_lolly.lua | 8 ++++++++ 2 files changed, 9 insertions(+) diff --git a/TeXmacs/progs/prog/glue-symbols.scm b/TeXmacs/progs/prog/glue-symbols.scm index 0e3970bb49..8a85ecf919 100644 --- a/TeXmacs/progs/prog/glue-symbols.scm +++ b/TeXmacs/progs/prog/glue-symbols.scm @@ -576,6 +576,7 @@ "system-setenv" "system-getenv" "system-search-score" +"system" "system-1" "system-2" "system-url->string" diff --git a/src/Scheme/L2/glue_lolly.lua b/src/Scheme/L2/glue_lolly.lua index cc6aa82141..e3e972844e 100644 --- a/src/Scheme/L2/glue_lolly.lua +++ b/src/Scheme/L2/glue_lolly.lua @@ -481,6 +481,14 @@ function main() "string", } }, + { + scm_name = "system", + cpp_name = "lolly::system", + ret_type = "void", + arg_list = { + "string", + } + }, -- System/Classes/url { scm_name = "url->url",