mozart2, 莫扎特编程系统 v2

分享于 

7分钟阅读

GitHub

  繁體 雙語
Mozart Programming System v2 (not usable yet)
  • 源代码名称:mozart2
  • 源代码网址:http://www.github.com/mozart/mozart2
  • mozart2源代码文档
  • mozart2源代码下载
  • Git URL:
    git://www.github.com/mozart/mozart2.git
    Git Clone代码到本地:
    git clone http://www.github.com/mozart/mozart2
    Subversion代码到本地:
    $ svn co --depth empty http://www.github.com/mozart/mozart2
    Checked out revision 1.
    $ cd repo
    $ svn up trunk
    
    v2

    莫扎特的节目系统是Oz的开源实现。 这里存储库包含系统的即将版本 2.

    目前莫扎特 2的状态是质量。 它还没有准备好生产,但是可以用来实验。测试和显然地用于生产。

    下载

    Linux。macosx和 Windows的二进制包经常构建,并在上可用。

    为 10.8. x 提供支持,并提供最新版本的。

    二进制发行版要求你在系统上安装了 tcl/tk 8.5.

    生成指令

    主要自述文件shamefully偏向于 Linux。 Readmes side操作系统,Windows 和OpenBSD。

    先决条件

    要构建莫扎特 2,你需要在你的计算机上使用以下工具:

    • git和Subversion来获取源代码
    • java> = 1.6.0
    • gcc/Mac on,Linux,Linux,Mac,Mac,Mac,Mac,Mac,Mac,Mac,Mac,Mac
    • cmake> = 2.8.6
    • Boost> = 1.53.0 ( 带有开发文件)
    • tcl/tk 8.5或者 8.6 ( 带有开发文件)
    • emacs

    用于构造 clang/llvm:

    • LibXML2-dev ( 用版本 2.9.3测试)
    • ocaml findlib
    • libCTypes-OCaml-dev (> = 0.4在Debian不稳定时可用)

    在Linux上,使用你喜欢的软件包管理器来抓取这些工具。 有关Mac操作系统和 Windows的建议,请参阅专用 Readmes。

    预生成源树

    发布源快照包含预先生成的C++ 代码,它允许你在不需要LLVM或者Clang的情况下构建。 这是从源代码构建莫扎特 2版本的最简单方法。 最新生成的源快照是 mozart2-2.0.0-beta.0-Source.zip

    要从快照生成:

    
    $ wget https://github.com/layus/mozart2/releases/download/v2.0.0-beta.0/mozart2-2.0.0-beta.0-Source.zip
    
    
    $ unzip mozart2-2.0.0-beta.0-Source.zip
    
    
    $ cd mozart2-2.0.0-beta.0-Source/
    
    
    $ cmake. 
    
    
    $ make
    
    
    $ make install
    
    
    
    

    若要更改安装 Mozart 2 is的目录,请添加 -DCMAKE_INSTALL_PREFIX:PATH=/path/to/installcmake 命令:

    
    $ cmake -DCMAKE_INSTALL_PREFIX:PATH=/tmp/oz2. && make && make install
    
    
    
    

    如果你想开发莫扎特 2本身,你可能希望在某些时候重新生成 C++ 头部与Oz对象的接口。 在这种情况下,你应该使用下面的构建说明。

    Git生成指令

    你将需要安装LLVM和 Clang,从git库构建莫扎特 2. Linux发行版似乎没有提供必需的LLVM/Clang支持文件,因此下面的步骤将通过构建一个本地版LLVM和Clang来构建Mozart构建系统。 以下步骤假定你在一个空目录中构建 LLVM。Clang和莫扎特 2:

    
    $ mkdir oz2
    
    
    $ cd oz2
    
    
    
    

    构建LLVM和 Clang

    按照以下步骤构建 LLVM:

    
    $ git clone --branch release_39 https://github.com/llvm-mirror/llvm
    
    
    $ cd llvm/tools
    
    
    $ git clone --branch release_39 https://github.com/llvm-mirror/clang
    
    
    $ cd.. 
    
    
    $ mkdir build
    
    
    $ cd build
    
    
    $ cmake -DCMAKE_BUILD_TYPE=Release 
    
    
     -DCMAKE_INSTALL_PREFIX:PATH=`pwd`/../../llvm-install 
    
    
    . . 
    
    
    $ make
    
    
    $ make install
    
    
    $ cd.. /..
    
    
    $ export PATH=`pwd`/llvm-install/bin:$PATH
    
    
    
    

    你可能希望将 -j n 添加到 make 命令行 中,使用 n 设置为 CPU,以并行执行一些构建步骤,以减少构建时间。

    这将安装到之前创建的目录下的一个 llvm-install 目录,并将它添加到 PATH的前面,这样我就可以在Mozart构建中找到它。

    克隆莫扎特知识库

    由于莫扎特知识库包含子模块,你应该递归克隆:

    
    $ git clone --recursive https://github.com/mozart/mozart2
    
    
    
    You can also fetch the submodules separately using:
    
    
    
    $ git clone https://github.com/mozart/mozart2
    
    
    $ cd mozart2
    
    
    $ git submodule update --init
    
    
    $ cd.. 
    
    
    
    

    莫扎特

    莫扎特 2是用cmake构建的。 以下步骤将执行生成:

    
    $ mkdir build
    
    
    $ cd build
    
    
    $ CXXFLAGS=-I`pwd`/../llvm-install/include cmake -DCMAKE_BUILD_TYPE=Release 
    
    
     -DCMAKE_INSTALL_PREFIX:PATH=/path/to/install 
    
    
    . . /mozart2
    
    
    $ make
    
    
    $ make install
    
    
    
    

    你可能希望将 -j n 添加到 make 命令行 中,使用 n 设置为 CPU,以并行执行一些构建步骤,以减少构建时间。

    /path/to/install 改为安装莫扎特 2的位置。

    在像 Arch Linux 和Nixos这样的发行版上,Boost static 库已经被删除。 请在 -DMOZART_BOOST_USE_STATIC_LIBS=OFF 命令中添加。

    其他配置选项可以用表单 -DOPTION=Value 给出。 下面的表格列出了你可以添加的选项。

    OptionValueRequired如果
    CMAKE_BUILD_TYPE调试或者发布始终
    CMAKE_INSTALL_PREFIX`make install`应安装的位置-
    CMAKE_CXX_COMPILERC++ 编译器的路径Mac操作系统:必须强制为 clang+ +
    CMAKE_MAKE_PROGRAM生成程序的路径Windows: 必须强制使用 MINGW
    GTEST_SRC_DIR和 GTEST_BUILD_DIRGTest的源和构建目录的路径如果不存在,GTest将自动下载并生成
    LLVM_SRC_DIR和 LLVM_BUILD_DIRLLVM的源代码和构建目录的路径如果不存在,LLVM将自动下载并构建
    CLANG_SRC_DIRCLANG源目录的路径如果无法找到CLANG源,则使用这里选项
    EMACSEmacs可执行文件的路径在 Windows 上需要( 在Unix上可以自动找到它)
    CPACK_GENERATOR用于CPack的生成器的逗号分隔列表可选,请参见CPack文档

    有一个NixOS表达式来安装Mozart2二进制文件: nix-env -i mozart-binary


    SYS  系统  Mozart