├── repo ├── packages ├── conf-c-env │ └── conf-c-env.1 │ │ └── opam ├── libblake3-dev │ └── libblake3-dev.1.5.1 │ │ └── opam └── libmbedtls-dev │ └── libmbedtls-dev.4.0.0 │ └── opam ├── README.md └── LICENSE /repo: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | upstream: "https://github.com/dbuenzli/opam-distrib-crutch/tree/master" 3 | -------------------------------------------------------------------------------- /packages/conf-c-env/conf-c-env.1/opam: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | synopsis: "Make your C toolchain lookup in your opam prefix" 3 | maintainer: "The distrib-crutch repo maintainers" 4 | authors : "The distrib-crutch repo maintainers" 5 | homepage: "https://github.com/dbuenzli/distrib-crutch.opam" 6 | bug-reports: "https://github.com/dbuenzli/distrib-crutch/issues" 7 | setenv: 8 | [[PKG_CONFIG_PATH += "%{lib}%/pkgconfig" ] 9 | [LIBRARY_PATH += "%{lib}%"] 10 | [C_INCLUDE_PATH += "%{prefix}%/include" ] 11 | [LD_LIBRARY_PATH += "%{lib}%"] 12 | ] 13 | 14 | description:"\ 15 | This package configures pkg-config and your C toolchain to lookup 16 | in your opam switch too." 17 | -------------------------------------------------------------------------------- /packages/libblake3-dev/libblake3-dev.1.5.1/opam: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | synopsis: "The libblake3 C library" 3 | description:"This package installs the libblake3 C library." 4 | maintainer: "opam-distrib-crutch maintainers" 5 | x-distrib-status: "https://repology.org/project/blake3" 6 | homepage: "https://blake3.io/" 7 | dev-repo: "git+https://github.com/BLAKE3-team/BLAKE3.git" 8 | bug-reports: "https://github.com/BLAKE3-team/BLAKE3/issues" 9 | authors: ["Jack O'Connor " "Samuel Neves"] 10 | license: "CC0-1.0 OR Apache-2.0" 11 | depends: [ 12 | "conf-c-env" 13 | "conf-pkg-config" {build} 14 | "conf-cmake" {build} 15 | ] 16 | build: 17 | [ 18 | ["cmake" "c"] 19 | ["cmake" "--build" "."] 20 | ] 21 | install: 22 | [ 23 | ["cmake" "--install" "." "--prefix" "%{prefix}%"] 24 | ] 25 | url { 26 | src: "https://github.com/BLAKE3-team/BLAKE3/archive/refs/tags/1.5.1.zip" 27 | checksum: 28 | "sha512=5017579386d11e7e621a6b56655c683bd51834531edb5c76c42539131a79a42a61eedb420cffb9be210c50a6bdd930cb24f975573bfb21e08ebefaec703b6c91" 29 | } 30 | 31 | # depexts: [ 32 | # ["blake3-devel"] {os-distribution = "fedora"} 33 | # ["blake3"] {os-distribution = "homebrew" & os = "macos"} 34 | # ] 35 | -------------------------------------------------------------------------------- /packages/libmbedtls-dev/libmbedtls-dev.4.0.0/opam: -------------------------------------------------------------------------------- 1 | opam-version: "2.0" 2 | synopsis: "The mbedtls C library" 3 | description:"This package installs the mbedtls C library." 4 | maintainer: "opam-distrib-crutch maintainers" 5 | x-distrib-status: "https://repology.org/project/mbedtls" 6 | homepage: "https://repology.org/project/mbedtls" 7 | dev-repo: "git+https://github.com/Mbed-TLS/mbedtls" 8 | bug-reports: "https://github.com/Mbed-TLS/mbedtls/issues" 9 | authors: ["The mbedtls programmers"] 10 | license: "Apache-2.0 OR GPL-2.0-or-later" 11 | depends: [ 12 | "conf-c-env" 13 | "conf-pkg-config" {build} 14 | "conf-cmake" {build} 15 | ] 16 | build: 17 | [ 18 | [ "./tf-psa-crypto/scripts/config.py" 19 | "--file" "./tf-psa-crypto/include/psa/crypto_config.h" "set" 20 | "MBEDTLS_THREADING_C" ] 21 | 22 | [ "./tf-psa-crypto/scripts/config.py" 23 | "--file" "./tf-psa-crypto/include/psa/crypto_config.h" "set" 24 | "MBEDTLS_THREADING_PTHREAD" ] 25 | 26 | ["cmake" "." 27 | "-DUSE_SHARED_MBEDTLS_LIBRARY=On" 28 | "-DENABLE_PROGRAMS=Off" 29 | "-DENABLE_TESTING=Off" 30 | "-DCMAKE_INSTALL_RPATH=%{lib}%" 31 | "-DCMAKE_INSTALL_NAME_DIR=%{lib}%" # To have the correct @rpath 32 | "-DGEN_FILES=OFF" 33 | "-DCMAKE_INSTALL_PREFIX=%{prefix}%" 34 | "-DCMAKE_INSTALL_LIBDIR=%{lib}%" 35 | "-DCMAKE_VERBOSE_MAKEFILE=ON" ] 36 | ["cmake" "--build" "."] 37 | ] 38 | install: 39 | [ 40 | ["cmake" "--install" "."] 41 | ] 42 | url { 43 | src: "https://github.com/Mbed-TLS/mbedtls/releases/download/mbedtls-4.0.0/mbedtls-4.0.0.tar.bz2" 44 | checksum: 45 | "sha256=2f3a47f7b3a541ddef450e4867eeecb7ce2ef7776093f3a11d6d43ead6bf2827" 46 | } 47 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | Distribution crutch opam repository 2 | =================================== 3 | 4 | An opam repository with a few packages that your distribution may be 5 | missing. 6 | 7 | To add it to your opam repos and switches do: 8 | 9 | ``` 10 | opam repo add --all --set-default distrib-crutch \ 11 | git+https://github.com/dbuenzli/distrib-crutch.opam.git 12 | ``` 13 | 14 | The packages can be listed with: 15 | 16 | ``` 17 | opam update distrib-crutch 18 | opam list -a --repo=distrib-crutch 19 | ``` 20 | 21 | Note that some of the packages here install the [`conf-c-env`] package 22 | which tweaks environment variables to look for C libraries in your 23 | opam switch prefix. 24 | 25 | [`conf-c-env`]: packages/conf-c-env/conf-c-env.1/opam 26 | 27 | ## Purpose and limitations 28 | 29 | It is not the aim of this repo to supplant your system packager. In 30 | general it is a better idea to try to help your distribution to work 31 | towards inclusion of the dependencies you need as this take time to 32 | stabilize. 33 | 34 | Packages from this repository may be removed once 35 | indicates good support for a given package. 36 | 37 | ## Packaging 38 | 39 | In general we try to follow how the `opam` depexts would end up 40 | being named for [`debian`](https://wiki.debian.org/Packaging) 41 | which is often `$(PKG)-dev`. 42 | 43 | Otherwise see [this example]. In particular include a 44 | `x-distrib-status` with a link on the package's status on 45 | . 46 | 47 | [this example]: packages/libblake3-dev/libblake3-dev.1.5.1/opam 48 | 49 | ## License 50 | 51 | All the metadata contained in this repository is licensed under the 52 | [CC0-1.0](LICENSE.md) license 53 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- 1 | Creative Commons Legal Code 2 | 3 | CC0 1.0 Universal 4 | 5 | CREATIVE COMMONS CORPORATION IS NOT A LAW FIRM AND DOES NOT PROVIDE 6 | LEGAL SERVICES. DISTRIBUTION OF THIS DOCUMENT DOES NOT CREATE AN 7 | ATTORNEY-CLIENT RELATIONSHIP. CREATIVE COMMONS PROVIDES THIS 8 | INFORMATION ON AN "AS-IS" BASIS. CREATIVE COMMONS MAKES NO WARRANTIES 9 | REGARDING THE USE OF THIS DOCUMENT OR THE INFORMATION OR WORKS 10 | PROVIDED HEREUNDER, AND DISCLAIMS LIABILITY FOR DAMAGES RESULTING FROM 11 | THE USE OF THIS DOCUMENT OR THE INFORMATION OR WORKS PROVIDED 12 | HEREUNDER. 13 | 14 | Statement of Purpose 15 | 16 | The laws of most jurisdictions throughout the world automatically confer 17 | exclusive Copyright and Related Rights (defined below) upon the creator 18 | and subsequent owner(s) (each and all, an "owner") of an original work of 19 | authorship and/or a database (each, a "Work"). 20 | 21 | Certain owners wish to permanently relinquish those rights to a Work for 22 | the purpose of contributing to a commons of creative, cultural and 23 | scientific works ("Commons") that the public can reliably and without fear 24 | of later claims of infringement build upon, modify, incorporate in other 25 | works, reuse and redistribute as freely as possible in any form whatsoever 26 | and for any purposes, including without limitation commercial purposes. 27 | These owners may contribute to the Commons to promote the ideal of a free 28 | culture and the further production of creative, cultural and scientific 29 | works, or to gain reputation or greater distribution for their Work in 30 | part through the use and efforts of others. 31 | 32 | For these and/or other purposes and motivations, and without any 33 | expectation of additional consideration or compensation, the person 34 | associating CC0 with a Work (the "Affirmer"), to the extent that he or she 35 | is an owner of Copyright and Related Rights in the Work, voluntarily 36 | elects to apply CC0 to the Work and publicly distribute the Work under its 37 | terms, with knowledge of his or her Copyright and Related Rights in the 38 | Work and the meaning and intended legal effect of CC0 on those rights. 39 | 40 | 1. Copyright and Related Rights. A Work made available under CC0 may be 41 | protected by copyright and related or neighboring rights ("Copyright and 42 | Related Rights"). Copyright and Related Rights include, but are not 43 | limited to, the following: 44 | 45 | i. the right to reproduce, adapt, distribute, perform, display, 46 | communicate, and translate a Work; 47 | ii. moral rights retained by the original author(s) and/or performer(s); 48 | iii. publicity and privacy rights pertaining to a person's image or 49 | likeness depicted in a Work; 50 | iv. rights protecting against unfair competition in regards to a Work, 51 | subject to the limitations in paragraph 4(a), below; 52 | v. rights protecting the extraction, dissemination, use and reuse of data 53 | in a Work; 54 | vi. database rights (such as those arising under Directive 96/9/EC of the 55 | European Parliament and of the Council of 11 March 1996 on the legal 56 | protection of databases, and under any national implementation 57 | thereof, including any amended or successor version of such 58 | directive); and 59 | vii. other similar, equivalent or corresponding rights throughout the 60 | world based on applicable law or treaty, and any national 61 | implementations thereof. 62 | 63 | 2. Waiver. To the greatest extent permitted by, but not in contravention 64 | of, applicable law, Affirmer hereby overtly, fully, permanently, 65 | irrevocably and unconditionally waives, abandons, and surrenders all of 66 | Affirmer's Copyright and Related Rights and associated claims and causes 67 | of action, whether now known or unknown (including existing as well as 68 | future claims and causes of action), in the Work (i) in all territories 69 | worldwide, (ii) for the maximum duration provided by applicable law or 70 | treaty (including future time extensions), (iii) in any current or future 71 | medium and for any number of copies, and (iv) for any purpose whatsoever, 72 | including without limitation commercial, advertising or promotional 73 | purposes (the "Waiver"). Affirmer makes the Waiver for the benefit of each 74 | member of the public at large and to the detriment of Affirmer's heirs and 75 | successors, fully intending that such Waiver shall not be subject to 76 | revocation, rescission, cancellation, termination, or any other legal or 77 | equitable action to disrupt the quiet enjoyment of the Work by the public 78 | as contemplated by Affirmer's express Statement of Purpose. 79 | 80 | 3. Public License Fallback. Should any part of the Waiver for any reason 81 | be judged legally invalid or ineffective under applicable law, then the 82 | Waiver shall be preserved to the maximum extent permitted taking into 83 | account Affirmer's express Statement of Purpose. In addition, to the 84 | extent the Waiver is so judged Affirmer hereby grants to each affected 85 | person a royalty-free, non transferable, non sublicensable, non exclusive, 86 | irrevocable and unconditional license to exercise Affirmer's Copyright and 87 | Related Rights in the Work (i) in all territories worldwide, (ii) for the 88 | maximum duration provided by applicable law or treaty (including future 89 | time extensions), (iii) in any current or future medium and for any number 90 | of copies, and (iv) for any purpose whatsoever, including without 91 | limitation commercial, advertising or promotional purposes (the 92 | "License"). The License shall be deemed effective as of the date CC0 was 93 | applied by Affirmer to the Work. Should any part of the License for any 94 | reason be judged legally invalid or ineffective under applicable law, such 95 | partial invalidity or ineffectiveness shall not invalidate the remainder 96 | of the License, and in such case Affirmer hereby affirms that he or she 97 | will not (i) exercise any of his or her remaining Copyright and Related 98 | Rights in the Work or (ii) assert any associated claims and causes of 99 | action with respect to the Work, in either case contrary to Affirmer's 100 | express Statement of Purpose. 101 | 102 | 4. Limitations and Disclaimers. 103 | 104 | a. No trademark or patent rights held by Affirmer are waived, abandoned, 105 | surrendered, licensed or otherwise affected by this document. 106 | b. Affirmer offers the Work as-is and makes no representations or 107 | warranties of any kind concerning the Work, express, implied, 108 | statutory or otherwise, including without limitation warranties of 109 | title, merchantability, fitness for a particular purpose, non 110 | infringement, or the absence of latent or other defects, accuracy, or 111 | the present or absence of errors, whether or not discoverable, all to 112 | the greatest extent permissible under applicable law. 113 | c. Affirmer disclaims responsibility for clearing rights of other persons 114 | that may apply to the Work or any use thereof, including without 115 | limitation any person's Copyright and Related Rights in the Work. 116 | Further, Affirmer disclaims responsibility for obtaining any necessary 117 | consents, permissions or other rights required for any use of the 118 | Work. 119 | d. Affirmer understands and acknowledges that Creative Commons is not a 120 | party to this document and has no duty or obligation with respect to 121 | this CC0 or use of the Work. --------------------------------------------------------------------------------