From b267e5e12f96cd421347af2e152d14c6325c060d Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 22 Mar 2011 16:41:24 +0000 Subject: [PATCH] Use matita/lib as the new standard library in place of matita/nlibrary. --- matita/matita/buildTimeConf.ml.in | 5 +++-- matita/matita/matitaInit.ml | 3 ++- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/matita/matita/buildTimeConf.ml.in b/matita/matita/buildTimeConf.ml.in index 2f963eb50..4652802fa 100644 --- a/matita/matita/buildTimeConf.ml.in +++ b/matita/matita/buildTimeConf.ml.in @@ -50,7 +50,8 @@ let core_notation_script = runtime_base_dir ^ "/core_notation.moo" let matita_conf = runtime_base_dir ^ "/matita.conf.xml" let closed_xml = runtime_base_dir ^ "/closed.xml" let gtkmathview_conf = runtime_base_dir ^ "/gtkmathview.matita.conf.xml" -let new_stdlib_dir_devel = runtime_base_dir ^ "/nlibrary" -let new_stdlib_dir_installed = runtime_base_dir ^ "/ma/new-standard-library" +let new_stdlib_dir_devel = runtime_base_dir ^ "/lib" +(* CSC: no installed standard library +let new_stdlib_dir_installed = runtime_base_dir ^ "/ma/new-standard-library" *) let help_dir = runtime_base_dir ^ "/help" diff --git a/matita/matita/matitaInit.ml b/matita/matita/matitaInit.ml index d4a47267f..7658e7ab8 100644 --- a/matita/matita/matitaInit.ml +++ b/matita/matita/matitaInit.ml @@ -168,7 +168,8 @@ let parse_cmdline init_status = let includes = ref [] in let default_includes = [ BuildTimeConf.new_stdlib_dir_devel; - BuildTimeConf.new_stdlib_dir_installed ; + (* CSC: no installed standard library! + BuildTimeConf.new_stdlib_dir_installed ; *) ] in let absolutize s = -- 2.39.2