Adjust chsrc_conclude()

This commit is contained in:
Aoran Zeng
2024-11-22 09:08:32 +08:00
parent 6a59ec51e1
commit 722de55ecb
65 changed files with 234 additions and 124 deletions

View File

@@ -48,9 +48,10 @@ pl_ocaml_setsrc(char *option)
chsrc_run (cmd, RunOpt_Default);
chsrc_note2 ("如果是首次使用 opam ,请使用以下命令进行初始化");
puts (xy_2strjoin ("opam init default ", source.url));
say (xy_2strjoin ("opam init default ", source.url));
chsrc_conclude (&source, SetsrcType_SemiAuto);
ProgMode_ChgType = ChgType_SemiAuto;
chsrc_conclude (&source);
}
def_target(pl_ocaml);