QQ登录

只需一步,快速开始

 找回密码
 注册

QQ登录

只需一步,快速开始

查看: 3297|回复: 2

Ocaml 和 facile 模块 for kdeedu之kalzium

[复制链接]
发表于 2007-6-20 14:35:17 | 显示全部楼层 |阅读模式
很喜欢 kdeedu 组件中的软件。
但是在源里装的话,kalzuim 元素周期表的“方程式配平”功能就没有了。
这个功能依赖 Ocaml 和 facile 模块,所以想请开发组在打包的时候把这个加上。

贴上自己写的两个 spec 文件,在 magiclinux 2.1beta0 的系统上测试通过 ^ ^

  1. Summary:        Objective Caml compiler and programming environment
  2. Name:                ocaml
  3. Version:                3.09.3
  4. Release:         1mgc
  5. Group:                Development/Languages
  6. License:                QPL/LGPL
  7. URL:                http://www.ocaml.org
  8. Source:                http://caml.inria.fr/distrib/ocaml-3.09/ocaml-3.09.3.tar.bz2
  9. BuildRoot:        %{_tmppath}/%{name}-%{version}-%{release}-buildroot
  10. BuildRequires:        ncurses-devel
  11. BuildRequires:  gdbm-devel
  12. BuildRequires:        tcl-devel, tk-devel
  13. BuildRequires:        perl
  14. BuildRequires:  libICE-devel
  15. BuildRequires:  libSM-devel
  16. BuildRequires:  libX11-devel
  17. BuildRequires:  libXaw-devel
  18. BuildRequires:  libXext-devel
  19. BuildRequires:  libXft-devel
  20. BuildRequires:  libXmu-devel
  21. BuildRequires:  libXrender-devel
  22. BuildRequires:  libXt-devel
  23. BuildRequires:  mesa-libGL-devel
  24. BuildRequires:  mesa-libGLU-devel

  25. %description
  26. Objective Caml is a high-level, strongly-typed, functional and
  27. object-oriented programming language from the ML family of languages.

  28. This package comprises two batch compilers (a fast bytecode compiler
  29. and an optimizing native-code compiler), an interactive toplevel system,
  30. parsing tools (Lex,Yacc,Camlp4), a replay debugger, a documentation generator,
  31. and a comprehensive library.

  32. %prep
  33. %setup
  34. ./configure --bindir %{_bindir} -libdir %{_libdir}/ocaml -mandir %{_mandir}/man1

  35. %build
  36. make world opt opt.opt

  37. %install
  38. %makeinstall BINDIR=$RPM_BUILD_ROOT%{_bindir} LIBDIR=$RPM_BUILD_ROOT%{_libdir}/ocaml MANDIR=$RPM_BUILD_ROOT%{_mandir}

  39. %clean
  40. rm -rf $RPM_BUILD_ROOT
  41. rm -rf $RPM_BUILD_DIR/%{name}-%{version}

  42. %files
  43. %defattr(-,root,root)
  44. %{_prefix}
  45. %exclude %{_prefix}/*/debug*
  46. %exclude %{_prefix}/src
  47. %{_bindir}/*
  48. %{_libdir}/ocaml
  49. %{_datadir}
  50. %{_mandir}/man1/*

  51. %changelog
  52. * Tue May 4 2007 Ni Hui <shuizhuyuanluo[AT]126.com>
  53. - modify the spec file and port to Magiclinux 2.1beta0

  54. * Sat Dec  2 2006 Gerard Milmeister <[email protected]> - 3.09.3-1
  55. - new version 3.09.3

  56. * Mon Aug 28 2006 Gerard Milmeister <[email protected]> - 3.09.2-2
  57. - Rebuild for FE6

  58. * Sun Apr 30 2006 Gerard Milmeister <[email protected]> - 3.09.2-1
  59. - new version 3.09.2

  60. * Fri Feb 17 2006 Gerard Milmeister <[email protected]> - 3.09.1-2
  61. - Rebuild for Fedora Extras 5

  62. * Thu Jan  5 2006 Gerard Milmeister <[email protected]> - 3.09.1-1
  63. - new version 3.09.1

  64. * Sun Jan  1 2006 Gerard Milmeister <[email protected]> - 3.09.0-1
  65. - new version 3.09.0

  66. * Sun Sep 11 2005 Gerard Milmeister <[email protected]> - 3.08.4-1
  67. - New Version 3.08.4

  68. * Wed May 25 2005 Toshio Kuratomi <toshio-tiki-lounge.com> - 3.08.3-5
  69. - Bump and re-release as last build failed due to rawhide syncing.

  70. * Sun May 22 2005 Toshio Kuratomi <toshio-tiki-lounge.com> - 3.08.3-4
  71. - Fix for gcc4 and the 32 bit assembly in otherlibs/num.
  72. - Fix to allow compilation with RPM_OPT_FLAG defined -O level.

  73. * Sun May 22 2005 Jeremy Katz <[email protected]> - 3.08.3-3
  74. - rebuild on all arches

  75. * Fri Apr  7 2005 Michael Schwendt <mschwendt[AT]users.sf.net>
  76. - rebuilt

  77. * Sat Mar 26 2005 Gerard Milmeister <[email protected]> - 3.08.3-1
  78. - New Version 3.08.3

  79. * Sat Feb 12 2005 Gerard Milmeister <[email protected]> - 0:3.08.2-2
  80. - Added patch for removing rpath from shared libs

  81. * Sat Feb 12 2005 Gerard Milmeister <[email protected]> - 0:3.08.2-1
  82. - New Version 3.08.2

  83. * Thu Dec 30 2004 Thorsten Leemhuis <fedora[AT]leemhuis[DOT]info> - 0:3.07-6
  84. - add -x11lib %%{_prefix}/X11R6/%%{_lib} to configure; fixes labltk build
  85.   on x86_64

  86. * Tue Dec  2 2003 Gerard Milmeister <[email protected]> - 0:3.07-0.fdr.5
  87. - ocamldoc -> ocaml-ocamldoc
  88. - ocaml-doc -> ocaml-docs

  89. * Fri Nov 28 2003 Gerard Milmeister <[email protected]> - 0:3.07-0.fdr.4
  90. - Make separate packages for labltk, camlp4, ocamldoc, emacs and documentation

  91. * Thu Nov 27 2003 Gerard Milmeister <[email protected]> - 0:3.07-0.fdr.2
  92. - Changed license tag
  93. - Register info files
  94. - Honor RPM_OPT_FLAGS
  95. - New Patch

  96. * Fri Oct 31 2003 Gerard Milmeister <[email protected]> - 0:3.07-0.fdr.1
  97. - First Fedora release

  98. * Mon Oct 13 2003 Axel Thimm <[email protected]>
  99. - Updated to 3.07.

  100. * Wed Apr  9 2003 Axel Thimm <[email protected]>
  101. - Rebuilt for Red Hat 9.

  102. * Tue Nov 26 2002 Axel Thimm <[email protected]>
  103. - Added %{_mandir}/mano/* entry
复制代码

  1. Summary: Ocaml Constraint Programming Library
  2. Name: facile
  3. Version: 1.1
  4. Release: 1mgc
  5. URL: http://www.recherche.enac.fr/opti/facile
  6. License: GPL
  7. Group: Development/Libraries/Other
  8. BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-buildroot
  9. Source0: %{name}-%{version}.tar.gz
  10. BuildRequires: ocaml
  11. Requires: ocaml

  12. %description
  13. FaCiLe is a constraint programming library on integer and integer set
  14. finite domains written in OCaml. It offers all usual faciliti es to
  15. create and manipulate finite domain variables, arithmetic expressions
  16. and constraints (possibly non-linear), built-in global constraints
  17. (difference, cardinality, sorting etc.) and search and optimization
  18. goals. FaCiLe allows as well to build easily user-d efined constraints
  19. and goals (including recursive ones), making pervasive use of OCaml
  20. higher-order functionals to provide a simple and flexible interface for
  21. the user. As FaCiLe is an OCaml library and not "yet another language",
  22. the user benefits from type inf erence and strong typing discipline,
  23. high level of abstraction, modules and objects system, as well as
  24. native code compilation effi ciency, garbage collection and replay
  25. debugger, all features of OCaml (among many others) that allow to
  26. prototype and experiment qu ickly: modeling, data processing and
  27. interface are implemented with the same powerful and efficient
  28. language.

  29. %prep
  30. %setup

  31. %build
  32. ./configure -faciledir %{buildroot}/%{_libdir}/ocaml/facile
  33. make
  34. %install
  35. %__install -d -m 755 %{buildroot}/%{_libdir}/ocaml/facile
  36. %makeinstall

  37. %clean
  38. rm -rf $RPM_BUILD_ROOT
  39. rm -rf $RPM_BUILD_DIR/%{name}-%{version}

  40. %files
  41. %defattr(-,root,root)
  42. %{_libdir}/ocaml/facile

  43. %changelog
  44. * Tue Jun 19 2007 Ni Hui <shuizhuyuanluo[AT]126.com> - 1.1-1mgc
  45. - built for MagicLinux-2.1beta0
复制代码

[ 本帖最后由 nihui 于 2007-6-20 14:39 编辑 ]
发表于 2007-6-21 13:36:51 | 显示全部楼层
ocaml 仓库里有,facile 不清楚。
这两个 spec 修改得很好,就是有点小毛病,再接再厉。
回复

使用道具 举报

 楼主| 发表于 2007-6-21 14:10:28 | 显示全部楼层
ocaml 仓库里有?
叫什么名字呀?
没找到啊~
回复

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

GMT+8, 2024-3-28 18:19 , Processed in 0.118312 second(s), 15 queries .

© 2021 Powered by Discuz! X3.5.

快速回复 返回顶部 返回列表