Rmys
148 lines
6.4 KiB
XML
148 lines
6.4 KiB
XML
<?xml version="1.0" ?>
|
|
<!DOCTYPE PISI SYSTEM "http://www.pisilinux.org/projeler/pisi/pisi-spec.dtd">
|
|
<PISI>
|
|
<Source>
|
|
<Name>ocaml</Name>
|
|
<Homepage>https://ocaml.org/</Homepage>
|
|
<Packager>
|
|
<Name>Serdar Soytetir</Name>
|
|
<Email>kaptan@pisilinux.org</Email>
|
|
</Packager>
|
|
<License>OPL</License>
|
|
<IsA>app:console</IsA>
|
|
<Summary>Fast modern type-inferring functional programming language</Summary>
|
|
<Description>A fast modern type-inferring functional programming language descended from the ML (Meta Language) family.</Description>
|
|
<!-- Caution! Updating this package to a new version, may break ocaml modules like facile. Modules need to be recompiled to resolve this. Also, errors like below are indications of this situation:
|
|
|
|
File "_none_", line 1, characters 0-1:
|
|
Error: Files /usr/lib/ocaml/facile/facile.cmxa and /usr/lib/ocaml/stdlib.cmxa
|
|
make inconsistent assumptions over implementation Printf
|
|
-->
|
|
<Archive sha1sum="8f8083caa0b56bc9f6809f9f2a7996d2b84e768e" type="tarxz">https://caml.inria.fr/distrib/ocaml-4.14/ocaml-4.14.0.tar.xz</Archive>
|
|
<BuildDependencies>
|
|
<Dependency>zlib-devel</Dependency>
|
|
<Dependency>ncurses-devel</Dependency>
|
|
<Dependency>libX11-devel</Dependency>
|
|
<Dependency>chrpath</Dependency>
|
|
</BuildDependencies>
|
|
<Patches>
|
|
<!-- <Patch level="1">fedora/0012-Stop-calling-ranlib-on-created-installed-libraries-1.patch</Patch> -->
|
|
<!-- <Patch level="1">fedora/0001-Don-t-add-rpaths-to-libraries.patch</Patch> -->
|
|
<Patch level="1">fedora/0003-configure-Allow-user-defined-C-compiler-flags.patch</Patch>
|
|
<!-- <Patch level="1">fedora/0003-configure-Remove-incorrect-assumption-about-cross-co.patch</Patch> -->
|
|
<!-- <Patch level="1">fedora/0004-Remove-configure-from-.gitattributes.patch</Patch> -->
|
|
<!-- <Patch level="1">fedora/0005-Fix-type-mismatches-between-definition-and-declarati.patch</Patch> -->
|
|
<!-- <Patch level="1">fedora/0006-fix-caml_c_call-reload-caml_young_limit.patch</Patch> -->
|
|
<!-- <Patch level="1">fedora/0007-Adapt-to-4.07.patch</Patch> -->
|
|
<!-- <Patch level="1">fedora/0008-riscv-Emit-debug-info.patch</Patch> -->
|
|
</Patches>
|
|
</Source>
|
|
|
|
<Package>
|
|
<Name>ocaml</Name>
|
|
<RuntimeDependencies>
|
|
<Dependency>zlib</Dependency>
|
|
<Dependency>ncurses</Dependency>
|
|
<Dependency>libX11</Dependency>
|
|
</RuntimeDependencies>
|
|
<Files>
|
|
<Path fileType="executable">/usr/bin/</Path>
|
|
<Path fileType="library">/usr/lib/</Path>
|
|
<Path fileType="doc">/usr/share/doc/</Path>
|
|
<Path fileType="man">/usr/share/man/</Path>
|
|
</Files>
|
|
</Package>
|
|
|
|
<Package>
|
|
<Name>ocaml-compiler-libs</Name>
|
|
<RuntimeDependencies>
|
|
<Dependency>ocaml</Dependency>
|
|
</RuntimeDependencies>
|
|
<Files>
|
|
<Path fileType="library">/usr/lib/ocaml/compiler-libs/*.mli</Path>
|
|
<Path fileType="library">/usr/lib/ocaml/compiler-libs/*.cmi</Path>
|
|
<Path fileType="library">/usr/lib/ocaml/compiler-libs/*.cmo</Path>
|
|
<Path fileType="library">/usr/lib/ocaml/compiler-libs/*.cma</Path>
|
|
<Path fileType="library">/usr/lib/ocaml/compiler-libs/*.a</Path>
|
|
<Path fileType="library">/usr/lib/ocaml/compiler-libs/*.cmxa</Path>
|
|
<Path fileType="library">/usr/lib/ocaml/compiler-libs/*.cmx</Path>
|
|
<Path fileType="library">/usr/lib/ocaml/compiler-libs/*.o</Path>
|
|
<Path fileType="library">/usr/lib/ocaml/compiler-libs/*.cmt</Path>
|
|
<Path fileType="library">/usr/lib/ocaml/compiler-libs/*.cmti</Path>
|
|
</Files>
|
|
</Package>
|
|
|
|
<History>
|
|
<Update release="10">
|
|
<Date>2022-09-23</Date>
|
|
<Version>4.14.0</Version>
|
|
<Comment>Version bump.</Comment>
|
|
<Name>Mustafa Cinasal</Name>
|
|
<Email>muscnsl@gmail.com</Email>
|
|
</Update>
|
|
<Update release="9">
|
|
<Date>2020-11-07</Date>
|
|
<Version>4.11.1</Version>
|
|
<Comment>Version bump.</Comment>
|
|
<Name>Mustafa Cinasal</Name>
|
|
<Email>muscnsl@gmail.com</Email>
|
|
</Update>
|
|
<Update release="8">
|
|
<Date>2020-09-23</Date>
|
|
<Version>4.11.1</Version>
|
|
<Comment>Version bump.</Comment>
|
|
<Name>Mustafa Cinasal</Name>
|
|
<Email>muscnsl@gmail.com</Email>
|
|
</Update>
|
|
<Update release="7">
|
|
<Date>2020-05-13</Date>
|
|
<Version>4.09.1</Version>
|
|
<Comment>Version bump.</Comment>
|
|
<Name>Mustafa Cinasal</Name>
|
|
<Email>muscnsl@gmail.com</Email>
|
|
</Update>
|
|
<Update release="6">
|
|
<Date>2019-11-25</Date>
|
|
<Version>4.09.0</Version>
|
|
<Comment>Version bump.</Comment>
|
|
<Name>Mustafa Cinasal</Name>
|
|
<Email>muscnsl@gmail.com</Email>
|
|
</Update>
|
|
<Update release="5">
|
|
<Date>2019-11-25</Date>
|
|
<Version>4.08.1</Version>
|
|
<Comment>Version bump.</Comment>
|
|
<Name>Mustafa Cinasal</Name>
|
|
<Email>muscnsl@gmail.com</Email>
|
|
</Update>
|
|
<Update release="4">
|
|
<Date>2018-07-29</Date>
|
|
<Version>4.07.0</Version>
|
|
<Comment>Version bump, add fedora's patches.</Comment>
|
|
<Name>Ertuğrul Erata</Name>
|
|
<Email>ertugrulerata@gmail.com</Email>
|
|
</Update>
|
|
<Update release="3">
|
|
<Date>2017-03-08</Date>
|
|
<Version>4.04.0</Version>
|
|
<Comment>Version Bump</Comment>
|
|
<Name>Pisi Linux Community</Name>
|
|
<Email>admin@pisilinux.org</Email>
|
|
</Update>
|
|
<Update release="2">
|
|
<Date>2016-06-09</Date>
|
|
<Version>4.02.1</Version>
|
|
<Comment>Release Bump</Comment>
|
|
<Name>Pisi Linux Community</Name>
|
|
<Email>admin@pisilinux.org</Email>
|
|
</Update>
|
|
<Update release="1">
|
|
<Date>2015-04-04</Date>
|
|
<Version>4.02.1</Version>
|
|
<Comment>First release</Comment>
|
|
<Name>Yusuf Aydemir</Name>
|
|
<Email>yusuf.aydemir@pisilinux.org</Email>
|
|
</Update>
|
|
</History>
|
|
</PISI>
|