Ocaml 和 facile 模块 for kdeedu之kalzium

nihui

很喜欢 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. 
    
26. %description
    
27. Objective Caml is a high-level, strongly-typed, functional and
    
28. object-oriented programming language from the ML family of languages.
    
29. 
    
30. This package comprises two batch compilers (a fast bytecode compiler
    
31. and an optimizing native-code compiler), an interactive toplevel system,
    
32. parsing tools (Lex,Yacc,Camlp4), a replay debugger, a documentation generator,
    
33. and a comprehensive library.
    
34. 
    
35. %prep
    
36. %setup
    
37. ./configure --bindir %{_bindir} -libdir %{_libdir}/ocaml -mandir %{_mandir}/man1
    
38. 
    
39. %build
    
40. make world opt opt.opt
    
41. 
    
42. %install
    
43. %makeinstall BINDIR=$RPM_BUILD_ROOT%{_bindir} LIBDIR=$RPM_BUILD_ROOT%{_libdir}/ocaml MANDIR=$RPM_BUILD_ROOT%{_mandir}
    
44. 
    
45. %clean
    
46. rm -rf $RPM_BUILD_ROOT
    
47. rm -rf $RPM_BUILD_DIR/%{name}-%{version}
    
48. 
    
49. %files
    
50. %defattr(-,root,root)
    
51. %{_prefix}
    
52. %exclude %{_prefix}/*/debug*
    
53. %exclude %{_prefix}/src
    
54. %{_bindir}/*
    
55. %{_libdir}/ocaml
    
56. %{_datadir}
    
57. %{_mandir}/man1/*
    
58. 
    
59. %changelog
    
60. * Tue May 4 2007 Ni Hui <shuizhuyuanluo[AT]126.com>
    
61. - modify the spec file and port to Magiclinux 2.1beta0
    
62. 
    
63. * Sat Dec  2 2006 Gerard Milmeister <[email protected]> - 3.09.3-1
    
64. - new version 3.09.3
    
65. 
    
66. * Mon Aug 28 2006 Gerard Milmeister <[email protected]> - 3.09.2-2
    
67. - Rebuild for FE6
    
68. 
    
69. * Sun Apr 30 2006 Gerard Milmeister <[email protected]> - 3.09.2-1
    
70. - new version 3.09.2
    
71. 
    
72. * Fri Feb 17 2006 Gerard Milmeister <[email protected]> - 3.09.1-2
    
73. - Rebuild for Fedora Extras 5
    
74. 
    
75. * Thu Jan  5 2006 Gerard Milmeister <[email protected]> - 3.09.1-1
    
76. - new version 3.09.1
    
77. 
    
78. * Sun Jan  1 2006 Gerard Milmeister <[email protected]> - 3.09.0-1
    
79. - new version 3.09.0
    
80. 
    
81. * Sun Sep 11 2005 Gerard Milmeister <[email protected]> - 3.08.4-1
    
82. - New Version 3.08.4
    
83. 
    
84. * Wed May 25 2005 Toshio Kuratomi <toshio-tiki-lounge.com> - 3.08.3-5
    
85. - Bump and re-release as last build failed due to rawhide syncing.
    
86. 
    
87. * Sun May 22 2005 Toshio Kuratomi <toshio-tiki-lounge.com> - 3.08.3-4
    
88. - Fix for gcc4 and the 32 bit assembly in otherlibs/num.
    
89. - Fix to allow compilation with RPM_OPT_FLAG defined -O level.
    
90. 
    
91. * Sun May 22 2005 Jeremy Katz <[email protected]> - 3.08.3-3
    
92. - rebuild on all arches
    
93. 
    
94. * Fri Apr  7 2005 Michael Schwendt <mschwendt[AT]users.sf.net>
    
95. - rebuilt
    
96. 
    
97. * Sat Mar 26 2005 Gerard Milmeister <[email protected]> - 3.08.3-1
    
98. - New Version 3.08.3
    
99. 
    
100. * Sat Feb 12 2005 Gerard Milmeister <[email protected]> - 0:3.08.2-2
     
101. - Added patch for removing rpath from shared libs
     
102. 
     
103. * Sat Feb 12 2005 Gerard Milmeister <[email protected]> - 0:3.08.2-1
     
104. - New Version 3.08.2
     
105. 
     
106. * Thu Dec 30 2004 Thorsten Leemhuis <fedora[AT]leemhuis[DOT]info> - 0:3.07-6
     
107. - add -x11lib %%{_prefix}/X11R6/%%{_lib} to configure; fixes labltk build
     
108.   on x86_64
     
109. 
     
110. * Tue Dec  2 2003 Gerard Milmeister <[email protected]> - 0:3.07-0.fdr.5
     
111. - ocamldoc -> ocaml-ocamldoc
     
112. - ocaml-doc -> ocaml-docs
     
113. 
     
114. * Fri Nov 28 2003 Gerard Milmeister <[email protected]> - 0:3.07-0.fdr.4
     
115. - Make separate packages for labltk, camlp4, ocamldoc, emacs and documentation
     
116. 
     
117. * Thu Nov 27 2003 Gerard Milmeister <[email protected]> - 0:3.07-0.fdr.2
     
118. - Changed license tag
     
119. - Register info files
     
120. - Honor RPM_OPT_FLAGS
     
121. - New Patch
     
122. 
     
123. * Fri Oct 31 2003 Gerard Milmeister <[email protected]> - 0:3.07-0.fdr.1
     
124. - First Fedora release
     
125. 
     
126. * Mon Oct 13 2003 Axel Thimm <[email protected]>
     
127. - Updated to 3.07.
     
128. 
     
129. * Wed Apr  9 2003 Axel Thimm <[email protected]>
     
130. - Rebuilt for Red Hat 9.
     
131. 
     
132. * Tue Nov 26 2002 Axel Thimm <[email protected]>
     
133. - 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. 
    
13. %description
    
14. FaCiLe is a constraint programming library on integer and integer set
    
15. finite domains written in OCaml. It offers all usual faciliti es to
    
16. create and manipulate finite domain variables, arithmetic expressions
    
17. and constraints (possibly non-linear), built-in global constraints
    
18. (difference, cardinality, sorting etc.) and search and optimization
    
19. goals. FaCiLe allows as well to build easily user-d efined constraints
    
20. and goals (including recursive ones), making pervasive use of OCaml
    
21. higher-order functionals to provide a simple and flexible interface for
    
22. the user. As FaCiLe is an OCaml library and not "yet another language",
    
23. the user benefits from type inf erence and strong typing discipline,
    
24. high level of abstraction, modules and objects system, as well as
    
25. native code compilation effi ciency, garbage collection and replay
    
26. debugger, all features of OCaml (among many others) that allow to
    
27. prototype and experiment qu ickly: modeling, data processing and
    
28. interface are implemented with the same powerful and efficient
    
29. language.
    
30. 
    
31. %prep
    
32. %setup
    
33. 
    
34. %build
    
35. ./configure -faciledir %{buildroot}/%{_libdir}/ocaml/facile
    
36. make
    
37. %install
    
38. %__install -d -m 755 %{buildroot}/%{_libdir}/ocaml/facile
    
39. %makeinstall
    
40. 
    
41. %clean
    
42. rm -rf $RPM_BUILD_ROOT
    
43. rm -rf $RPM_BUILD_DIR/%{name}-%{version}
    
44. 
    
45. %files
    
46. %defattr(-,root,root)
    
47. %{_libdir}/ocaml/facile
    
48. 
    
49. %changelog
    
50. * Tue Jun 19 2007 Ni Hui <shuizhuyuanluo[AT]126.com> - 1.1-1mgc
    
51. - built for MagicLinux-2.1beta0
    

复制代码

[ 本帖最后由 nihui 于 2007-6-20 14:39 编辑 ]

KDE

ocaml 仓库里有，facile 不清楚。
这两个 spec 修改得很好，就是有点小毛病，再接再厉。

nihui

ocaml 仓库里有？
叫什么名字呀？
没找到啊~