alihanozturk
81 lines
3.6 KiB
XML
81 lines
3.6 KiB
XML
<?xml version="1.0" ?>
|
|
<!DOCTYPE PISI SYSTEM "http://www.pisilinux.org/projeler/pisi/pisi-spec.dtd">
|
|
<PISI>
|
|
<Source>
|
|
<Name>ocaml</Name>
|
|
<Homepage>http://www.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="1878ba4338e4fad5b057428e182fba806c545d57" type="tarxz">https://caml.inria.fr/pub/distrib/ocaml-4.04/ocaml-4.04.0.tar.xz</Archive>
|
|
<BuildDependencies>
|
|
<Dependency>zlib-devel</Dependency>
|
|
<Dependency>ncurses-devel</Dependency>
|
|
<Dependency>libX11-devel</Dependency>
|
|
<Dependency>chrpath</Dependency>
|
|
</BuildDependencies>
|
|
<Patches>
|
|
<Patch>fedora/0001-Don-t-add-rpaths-to-libraries.patch</Patch>
|
|
<Patch>fedora/0002-ocamlbyteinfo-ocamlplugininfo-Useful-utilities-from-.patch</Patch>
|
|
<Patch>fedora/0003-configure-Allow-user-defined-C-compiler-flags.patch</Patch>
|
|
<Patch>fedora/0004-Don-t-rewrite-Werror.patch</Patch>
|
|
<Patch>fedora/0005-PR-7405-s390x-Fix-address-of-caml_raise_exn-in-nativ.patch</Patch>
|
|
<Patch>fedora/0006-Adapt-config.guess-for-RISC-V.patch</Patch>
|
|
<Patch>fedora/0007-Add-RISC-V-backend-runtime.patch</Patch>
|
|
<Patch>fedora/0008-Try-fix-for-andi-ori-xori-immediates-1.patch</Patch>
|
|
<Patch>fedora/0009-Fix-immediates-range-when-adjusting-indexing-sp.patch</Patch>
|
|
<Patch>fedora/0010-Another-immediate-range-fix.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>
|
|
|
|
<History>
|
|
<Update release="3">
|
|
<Date>2017-02-02</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>
|