Fix errors for ocaml

This commit is contained in:
Aoran Zeng 2023-09-15 12:26:39 +08:00
parent bc6dda92c5
commit 83bf67f554
2 changed files with 7 additions and 6 deletions

10
chsrc.c
View File

@ -884,14 +884,14 @@ pl_ocaml_setsrc(char* option)
source_info source = pl_ocaml_sources[index];
chsrc_say_selection (&source);
char* cmd = xy_strjoin("opam repo set-url default ",
source.url
" --all --set-default";
char* cmd = xy_strjoin(3, "opam repo set-url default ",
source.url,
" --all --set-default");
chsrc_runcmd(cmd);
xy_info("chsrc: 如果是首次使用 opam ,请使用以下命令进行初始化")
puts(xy_2strjoin("opam init default ", source.url);)
xy_info("chsrc: 如果是首次使用 opam ,请使用以下命令进行初始化");
puts(xy_2strjoin("opam init default ", source.url));
chsrc_say_thanks (&source);
}

View File

@ -304,7 +304,7 @@ pl_haskell_sources[] = {
*/
pl_ocaml_sources[] = {
{&Sjtug_Zhiyuan, "https://mirrors.sjtug.sjtu.edu.cn/git/opam-repository.git"}
}
},
@ -666,6 +666,7 @@ def_target_sources_n(pl_ruby); def_target_sources_n(pl_python); def_target_sourc
def_target_sources_n(pl_perl); def_target_sources_n(pl_php); def_target_sources_n(pl_go);
def_target_sources_n(pl_rust); def_target_sources_n(pl_java); def_target_sources_n(pl_clojure);
def_target_sources_n(pl_dotnet); def_target_sources_n(pl_dart); def_target_sources_n(pl_haskell);
def_target_sources_n(pl_ocaml);
def_target_sources_n(pl_r); def_target_sources_n(pl_julia);
def_target_sources_n(os_ubuntu); def_target_sources_n(os_debian); def_target_sources_n(os_fedora);