diff --git a/sledge/vendor/README.org b/sledge/vendor/README.org index 2c60987f6..46e2ae353 100644 --- a/sledge/vendor/README.org +++ b/sledge/vendor/README.org @@ -1,5 +1,9 @@ This directory contains code from other open source projects, which is subject to their own copyright and licensing terms. + +- llvm-dune: + Source: https://github.com/kit-ty-kate/llvm-dune + License: Apache-2.0 WITH LLVM-exception, see https://llvm.org/LICENSE.txt - llvm-dune/llvm-project/libcxxabi: Source: https://github.com/llvm/llvm-project/tree/release/11.x/libcxxabi diff --git a/sledge/vendor/llvm-dune/LICENSE.TXT b/sledge/vendor/llvm-dune/LICENSE.TXT new file mode 100644 index 000000000..fa6ac5400 --- /dev/null +++ b/sledge/vendor/llvm-dune/LICENSE.TXT @@ -0,0 +1,279 @@ +============================================================================== +The LLVM Project is under the Apache License v2.0 with LLVM Exceptions: +============================================================================== + + Apache License + Version 2.0, January 2004 + http://www.apache.org/licenses/ + + TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION + + 1. Definitions. + + "License" shall mean the terms and conditions for use, reproduction, + and distribution as defined by Sections 1 through 9 of this document. + + "Licensor" shall mean the copyright owner or entity authorized by + the copyright owner that is granting the License. + + "Legal Entity" shall mean the union of the acting entity and all + other entities that control, are controlled by, or are under common + control with that entity. For the purposes of this definition, + "control" means (i) the power, direct or indirect, to cause the + direction or management of such entity, whether by contract or + otherwise, or (ii) ownership of fifty percent (50%) or more of the + outstanding shares, or (iii) beneficial ownership of such entity. + + "You" (or "Your") shall mean an individual or Legal Entity + exercising permissions granted by this License. + + "Source" form shall mean the preferred form for making modifications, + including but not limited to software source code, documentation + source, and configuration files. + + "Object" form shall mean any form resulting from mechanical + transformation or translation of a Source form, including but + not limited to compiled object code, generated documentation, + and conversions to other media types. + + "Work" shall mean the work of authorship, whether in Source or + Object form, made available under the License, as indicated by a + copyright notice that is included in or attached to the work + (an example is provided in the Appendix below). + + "Derivative Works" shall mean any work, whether in Source or Object + form, that is based on (or derived from) the Work and for which the + editorial revisions, annotations, elaborations, or other modifications + represent, as a whole, an original work of authorship. For the purposes + of this License, Derivative Works shall not include works that remain + separable from, or merely link (or bind by name) to the interfaces of, + the Work and Derivative Works thereof. + + "Contribution" shall mean any work of authorship, including + the original version of the Work and any modifications or additions + to that Work or Derivative Works thereof, that is intentionally + submitted to Licensor for inclusion in the Work by the copyright owner + or by an individual or Legal Entity authorized to submit on behalf of + the copyright owner. For the purposes of this definition, "submitted" + means any form of electronic, verbal, or written communication sent + to the Licensor or its representatives, including but not limited to + communication on electronic mailing lists, source code control systems, + and issue tracking systems that are managed by, or on behalf of, the + Licensor for the purpose of discussing and improving the Work, but + excluding communication that is conspicuously marked or otherwise + designated in writing by the copyright owner as "Not a Contribution." + + "Contributor" shall mean Licensor and any individual or Legal Entity + on behalf of whom a Contribution has been received by Licensor and + subsequently incorporated within the Work. + + 2. Grant of Copyright License. Subject to the terms and conditions of + this License, each Contributor hereby grants to You a perpetual, + worldwide, non-exclusive, no-charge, royalty-free, irrevocable + copyright license to reproduce, prepare Derivative Works of, + publicly display, publicly perform, sublicense, and distribute the + Work and such Derivative Works in Source or Object form. + + 3. Grant of Patent License. Subject to the terms and conditions of + this License, each Contributor hereby grants to You a perpetual, + worldwide, non-exclusive, no-charge, royalty-free, irrevocable + (except as stated in this section) patent license to make, have made, + use, offer to sell, sell, import, and otherwise transfer the Work, + where such license applies only to those patent claims licensable + by such Contributor that are necessarily infringed by their + Contribution(s) alone or by combination of their Contribution(s) + with the Work to which such Contribution(s) was submitted. If You + institute patent litigation against any entity (including a + cross-claim or counterclaim in a lawsuit) alleging that the Work + or a Contribution incorporated within the Work constitutes direct + or contributory patent infringement, then any patent licenses + granted to You under this License for that Work shall terminate + as of the date such litigation is filed. + + 4. Redistribution. You may reproduce and distribute copies of the + Work or Derivative Works thereof in any medium, with or without + modifications, and in Source or Object form, provided that You + meet the following conditions: + + (a) You must give any other recipients of the Work or + Derivative Works a copy of this License; and + + (b) You must cause any modified files to carry prominent notices + stating that You changed the files; and + + (c) You must retain, in the Source form of any Derivative Works + that You distribute, all copyright, patent, trademark, and + attribution notices from the Source form of the Work, + excluding those notices that do not pertain to any part of + the Derivative Works; and + + (d) If the Work includes a "NOTICE" text file as part of its + distribution, then any Derivative Works that You distribute must + include a readable copy of the attribution notices contained + within such NOTICE file, excluding those notices that do not + pertain to any part of the Derivative Works, in at least one + of the following places: within a NOTICE text file distributed + as part of the Derivative Works; within the Source form or + documentation, if provided along with the Derivative Works; or, + within a display generated by the Derivative Works, if and + wherever such third-party notices normally appear. The contents + of the NOTICE file are for informational purposes only and + do not modify the License. You may add Your own attribution + notices within Derivative Works that You distribute, alongside + or as an addendum to the NOTICE text from the Work, provided + that such additional attribution notices cannot be construed + as modifying the License. + + You may add Your own copyright statement to Your modifications and + may provide additional or different license terms and conditions + for use, reproduction, or distribution of Your modifications, or + for any such Derivative Works as a whole, provided Your use, + reproduction, and distribution of the Work otherwise complies with + the conditions stated in this License. + + 5. Submission of Contributions. Unless You explicitly state otherwise, + any Contribution intentionally submitted for inclusion in the Work + by You to the Licensor shall be under the terms and conditions of + this License, without any additional terms or conditions. + Notwithstanding the above, nothing herein shall supersede or modify + the terms of any separate license agreement you may have executed + with Licensor regarding such Contributions. + + 6. Trademarks. This License does not grant permission to use the trade + names, trademarks, service marks, or product names of the Licensor, + except as required for reasonable and customary use in describing the + origin of the Work and reproducing the content of the NOTICE file. + + 7. Disclaimer of Warranty. Unless required by applicable law or + agreed to in writing, Licensor provides the Work (and each + Contributor provides its Contributions) on an "AS IS" BASIS, + WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or + implied, including, without limitation, any warranties or conditions + of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A + PARTICULAR PURPOSE. You are solely responsible for determining the + appropriateness of using or redistributing the Work and assume any + risks associated with Your exercise of permissions under this License. + + 8. Limitation of Liability. In no event and under no legal theory, + whether in tort (including negligence), contract, or otherwise, + unless required by applicable law (such as deliberate and grossly + negligent acts) or agreed to in writing, shall any Contributor be + liable to You for damages, including any direct, indirect, special, + incidental, or consequential damages of any character arising as a + result of this License or out of the use or inability to use the + Work (including but not limited to damages for loss of goodwill, + work stoppage, computer failure or malfunction, or any and all + other commercial damages or losses), even if such Contributor + has been advised of the possibility of such damages. + + 9. Accepting Warranty or Additional Liability. While redistributing + the Work or Derivative Works thereof, You may choose to offer, + and charge a fee for, acceptance of support, warranty, indemnity, + or other liability obligations and/or rights consistent with this + License. However, in accepting such obligations, You may act only + on Your own behalf and on Your sole responsibility, not on behalf + of any other Contributor, and only if You agree to indemnify, + defend, and hold each Contributor harmless for any liability + incurred by, or claims asserted against, such Contributor by reason + of your accepting any such warranty or additional liability. + + END OF TERMS AND CONDITIONS + + APPENDIX: How to apply the Apache License to your work. + + To apply the Apache License to your work, attach the following + boilerplate notice, with the fields enclosed by brackets "[]" + replaced with your own identifying information. (Don't include + the brackets!) The text should be enclosed in the appropriate + comment syntax for the file format. We also recommend that a + file or class name and description of purpose be included on the + same "printed page" as the copyright notice for easier + identification within third-party archives. + + Copyright [yyyy] [name of copyright owner] + + Licensed under the Apache License, Version 2.0 (the "License"); + you may not use this file except in compliance with the License. + You may obtain a copy of the License at + + http://www.apache.org/licenses/LICENSE-2.0 + + Unless required by applicable law or agreed to in writing, software + distributed under the License is distributed on an "AS IS" BASIS, + WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + See the License for the specific language governing permissions and + limitations under the License. + + +---- LLVM Exceptions to the Apache 2.0 License ---- + +As an exception, if, as a result of your compiling your source code, portions +of this Software are embedded into an Object form of such source code, you +may redistribute such embedded portions in such Object form without complying +with the conditions of Sections 4(a), 4(b) and 4(d) of the License. + +In addition, if you combine or link compiled forms of this Software with +software that is licensed under the GPLv2 ("Combined Software") and if a +court of competent jurisdiction determines that the patent provision (Section +3), the indemnity provision (Section 9) or other Section of the License +conflicts with the conditions of the GPLv2, you may retroactively and +prospectively choose to deem waived or otherwise exclude such Section(s) of +the License, but only in their entirety and only with respect to the Combined +Software. + +============================================================================== +Software from third parties included in the LLVM Project: +============================================================================== +The LLVM Project contains third party software which is under different license +terms. All such code will be identified clearly using at least one of two +mechanisms: +1) It will be in a separate directory tree with its own `LICENSE.txt` or + `LICENSE` file at the top containing the specific license and restrictions + which apply to that software, or +2) It will contain specific license and restriction terms at the top of every + file. + +============================================================================== +Legacy LLVM License (https://llvm.org/docs/DeveloperPolicy.html#legacy): +============================================================================== +University of Illinois/NCSA +Open Source License + +Copyright (c) 2003-2019 University of Illinois at Urbana-Champaign. +All rights reserved. + +Developed by: + + LLVM Team + + University of Illinois at Urbana-Champaign + + http://llvm.org + +Permission is hereby granted, free of charge, to any person obtaining a copy of +this software and associated documentation files (the "Software"), to deal with +the Software without restriction, including without limitation the rights to +use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies +of the Software, and to permit persons to whom the Software is furnished to do +so, subject to the following conditions: + + * Redistributions of source code must retain the above copyright notice, + this list of conditions and the following disclaimers. + + * Redistributions in binary form must reproduce the above copyright notice, + this list of conditions and the following disclaimers in the + documentation and/or other materials provided with the distribution. + + * Neither the names of the LLVM Team, University of Illinois at + Urbana-Champaign, nor the names of its contributors may be used to + endorse or promote products derived from this Software without specific + prior written permission. + +THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR +IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS +FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE +CONTRIBUTORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER +LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, +OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS WITH THE +SOFTWARE. + diff --git a/sledge/vendor/llvm-dune/META.llvm.in b/sledge/vendor/llvm-dune/META.llvm.in new file mode 100644 index 000000000..24939aeac --- /dev/null +++ b/sledge/vendor/llvm-dune/META.llvm.in @@ -0,0 +1,164 @@ +version = "11.0.0" +description = "LLVM OCaml bindings" +directory(-llvm.static) = "shared" +archive(byte, -llvm.static) = "llvm_shared.cma" +archive(native, -llvm.static) = "llvm_shared.cmxa" +directory(llvm.static) = "static" +archive(byte, llvm.static) = "llvm_static.cma" +archive(native, llvm.static) = "llvm_static.cmxa" + +package "analysis" ( + requires = "llvm" + version = "11.0.0" + description = "Intermediate representation analysis for LLVM" + directory(-llvm.static) = "shared" + archive(byte, -llvm.static) = "llvm_analysis_shared.cma" + archive(native, -llvm.static) = "llvm_analysis_shared.cmxa" + directory(llvm.static) = "static" + archive(byte, llvm.static) = "llvm_analysis_static.cma" + archive(native, llvm.static) = "llvm_analysis_static.cmxa" +) + +package "bitreader" ( + requires = "llvm" + version = "11.0.0" + description = "Bitcode reader for LLVM" + directory(-llvm.static) = "shared" + archive(byte, -llvm.static) = "llvm_bitreader_shared.cma" + archive(native, -llvm.static) = "llvm_bitreader_shared.cmxa" + directory(llvm.static) = "static" + archive(byte, llvm.static) = "llvm_bitreader_static.cma" + archive(native, llvm.static) = "llvm_bitreader_static.cmxa" +) + +package "bitwriter" ( + requires = "llvm,unix" + version = "11.0.0" + description = "Bitcode writer for LLVM" + directory(-llvm.static) = "shared" + archive(byte, -llvm.static) = "llvm_bitwriter_shared.cma" + archive(native, -llvm.static) = "llvm_bitwriter_shared.cmxa" + directory(llvm.static) = "static" + archive(byte, llvm.static) = "llvm_bitwriter_static.cma" + archive(native, llvm.static) = "llvm_bitwriter_static.cmxa" +) + +package "executionengine" ( + requires = "llvm,llvm.target,ctypes.foreign" + version = "11.0.0" + description = "JIT and Interpreter for LLVM" + directory(-llvm.static) = "shared" + archive(byte, -llvm.static) = "llvm_executionengine_shared.cma" + archive(native, -llvm.static) = "llvm_executionengine_shared.cmxa" + directory(llvm.static) = "static" + archive(byte, llvm.static) = "llvm_executionengine_static.cma" + archive(native, llvm.static) = "llvm_executionengine_static.cmxa" +) + +package "ipo" ( + requires = "llvm" + version = "11.0.0" + description = "IPO Transforms for LLVM" + directory(-llvm.static) = "shared" + archive(byte, -llvm.static) = "llvm_ipo_shared.cma" + archive(native, -llvm.static) = "llvm_ipo_shared.cmxa" + directory(llvm.static) = "static" + archive(byte, llvm.static) = "llvm_ipo_static.cma" + archive(native, llvm.static) = "llvm_ipo_static.cmxa" +) + +package "irreader" ( + requires = "llvm" + version = "11.0.0" + description = "IR assembly reader for LLVM" + directory(-llvm.static) = "shared" + archive(byte, -llvm.static) = "llvm_irreader_shared.cma" + archive(native, -llvm.static) = "llvm_irreader_shared.cmxa" + directory(llvm.static) = "static" + archive(byte, llvm.static) = "llvm_irreader_static.cma" + archive(native, llvm.static) = "llvm_irreader_static.cmxa" +) + +package "scalar_opts" ( + requires = "llvm" + version = "11.0.0" + description = "Scalar Transforms for LLVM" + directory(-llvm.static) = "shared" + archive(byte, -llvm.static) = "llvm_scalar_opts_shared.cma" + archive(native, -llvm.static) = "llvm_scalar_opts_shared.cmxa" + directory(llvm.static) = "static" + archive(byte, llvm.static) = "llvm_scalar_opts_static.cma" + archive(native, llvm.static) = "llvm_scalar_opts_static.cmxa" +) + +package "transform_utils" ( + requires = "llvm" + version = "11.0.0" + description = "Transform utilities for LLVM" + directory(-llvm.static) = "shared" + archive(byte, -llvm.static) = "llvm_transform_utils_shared.cma" + archive(native, -llvm.static) = "llvm_transform_utils_shared.cmxa" + directory(llvm.static) = "static" + archive(byte, llvm.static) = "llvm_transform_utils_static.cma" + archive(native, llvm.static) = "llvm_transform_utils_static.cmxa" +) + +package "vectorize" ( + requires = "llvm" + version = "11.0.0" + description = "Vector Transforms for LLVM" + directory(-llvm.static) = "shared" + archive(byte, -llvm.static) = "llvm_vectorize_shared.cma" + archive(native, -llvm.static) = "llvm_vectorize_shared.cmxa" + directory(llvm.static) = "static" + archive(byte, llvm.static) = "llvm_vectorize_static.cma" + archive(native, llvm.static) = "llvm_vectorize_static.cmxa" +) + +package "passmgr_builder" ( + requires = "llvm" + version = "11.0.0" + description = "Pass Manager Builder for LLVM" + directory(-llvm.static) = "shared" + archive(byte, -llvm.static) = "llvm_passmgr_builder_shared.cma" + archive(native, -llvm.static) = "llvm_passmgr_builder_shared.cmxa" + directory(llvm.static) = "static" + archive(byte, llvm.static) = "llvm_passmgr_builder_static.cma" + archive(native, llvm.static) = "llvm_passmgr_builder_static.cmxa" +) + +package "target" ( + requires = "llvm" + version = "11.0.0" + description = "Target Information for LLVM" + directory(-llvm.static) = "shared" + archive(byte, -llvm.static) = "llvm_target_shared.cma" + archive(native, -llvm.static) = "llvm_target_shared.cmxa" + directory(llvm.static) = "static" + archive(byte, llvm.static) = "llvm_target_static.cma" + archive(native, llvm.static) = "llvm_target_static.cmxa" +) + +package "linker" ( + requires = "llvm" + version = "11.0.0" + description = "Intermediate Representation Linker for LLVM" + directory(-llvm.static) = "shared" + archive(byte, -llvm.static) = "llvm_linker_shared.cma" + archive(native, -llvm.static) = "llvm_linker_shared.cmxa" + directory(llvm.static) = "static" + archive(byte, llvm.static) = "llvm_linker_static.cma" + archive(native, llvm.static) = "llvm_linker_static.cmxa" +) + +package "all_backends" ( + requires = "llvm" + version = "11.0.0" + description = "All backends for LLVM" + directory(-llvm.static) = "shared" + archive(byte, -llvm.static) = "llvm_all_backends_shared.cma" + archive(native, -llvm.static) = "llvm_all_backends_shared.cmxa" + directory(llvm.static) = "static" + archive(byte, llvm.static) = "llvm_all_backends_static.cma" + archive(native, llvm.static) = "llvm_all_backends_static.cmxa" +) diff --git a/sledge/vendor/llvm-dune/META.llvm_TARGET.in b/sledge/vendor/llvm-dune/META.llvm_TARGET.in new file mode 100644 index 000000000..0775c8929 --- /dev/null +++ b/sledge/vendor/llvm-dune/META.llvm_TARGET.in @@ -0,0 +1,9 @@ +version = "11.0.0" +description = "@TARGET@ Backend for LLVM" +requires = "llvm" +directory(-llvm.static) = "shared" +archive(byte, -llvm.static) = "llvm_@TARGET@_shared.cma" +archive(native, -llvm.static) = "llvm_@TARGET@_shared.cmxa" +directory(llvm.static) = "static" +archive(byte, llvm.static) = "llvm_@TARGET@_static.cma" +archive(native, llvm.static) = "llvm_@TARGET@_static.cmxa" diff --git a/sledge/vendor/llvm-dune/dune b/sledge/vendor/llvm-dune/dune new file mode 100644 index 000000000..178fc5159 --- /dev/null +++ b/sledge/vendor/llvm-dune/dune @@ -0,0 +1 @@ +(dirs :standard \ llvm-project) diff --git a/sledge/vendor/llvm-dune/dune-project b/sledge/vendor/llvm-dune/dune-project new file mode 100644 index 000000000..e19ec21fa --- /dev/null +++ b/sledge/vendor/llvm-dune/dune-project @@ -0,0 +1,3 @@ +(lang dune 2.7) +(name llvm) +(version 11.0.0) diff --git a/sledge/vendor/llvm-dune/install.sh b/sledge/vendor/llvm-dune/install.sh new file mode 100755 index 000000000..6479910ef --- /dev/null +++ b/sledge/vendor/llvm-dune/install.sh @@ -0,0 +1,23 @@ +#!/bin/sh -ex + +if test "$#" != 1; then + echo "Usage: $0 " + exit 1 +fi + +PREFIX=$1 + +dune install "--prefix=$PREFIX" --release + +for pkg in $(basename -s .opam *.opam); do + case "$pkg" in + llvm) + cp META.llvm.in "$PREFIX/lib/llvm/META";; + llvm_*) + target=$(echo "$pkg" | cut -d_ -f2-) + sed "s/@TARGET@/$target/g" META.llvm_TARGET.in > "$PREFIX/lib/llvm_$target/META";; + *) + echo "Something went wrong while processing $pkg. Please report." + exit 1;; + esac +done diff --git a/sledge/vendor/llvm-dune/llvm.opam b/sledge/vendor/llvm-dune/llvm.opam new file mode 100644 index 000000000..91bd671d5 --- /dev/null +++ b/sledge/vendor/llvm-dune/llvm.opam @@ -0,0 +1,28 @@ +opam-version: "2.0" +maintainer: "Kate " +authors: [ + "whitequark " + "The LLVM team" +] +license: "Apache-2.0 WITH LLVM-exception" +doc: "http://llvm.moe/ocaml" +bug-reports: "http://llvm.org/bugs/" +dev-repo: "git+https://github.com/kit-ty-kate/llvm-dune.git" +homepage: "http://llvm.moe" +build: [ + ["./setup.sh" conf-llvm:config] + ["dune" "build" "--release" "-j" jobs] + ["rm" "%{name}%.install"] +] +install: [ + ["./install.sh" prefix] +] +depends: [ + "ocaml" {>= "4.00.0"} + "dune" {>= "2.7"} + "ctypes" {>= "0.4"} + "ounit" {with-test} + "conf-llvm" {build & = version} +] +synopsis: "The OCaml bindings distributed with LLVM" +description: "Note: LLVM should be installed first." diff --git a/sledge/vendor/llvm-dune/setup.sh b/sledge/vendor/llvm-dune/setup.sh new file mode 100755 index 000000000..9ca855559 --- /dev/null +++ b/sledge/vendor/llvm-dune/setup.sh @@ -0,0 +1,136 @@ +#!/bin/sh -ex + +if test "$(dirname $0)" != '.'; then + echo "The script must be executed from its current directory." + exit 1 +fi + +if test "$#" -ne 1; then + echo "Usage: $0 " + exit 1 +fi + +llvm_config=$1 +default_mode= +support_static_mode=false +support_shared_mode=false + +llvm_config() { + "$llvm_config" $@ +} + +if llvm_config --link-static --libs; then + default_mode=static + support_static_mode=true +fi + +if llvm_config --link-shared --libs; then + default_mode=shared + support_shared_mode=true +fi + +if test -z "$default_mode"; then + echo "Something is wrong with the llvm-config command provided." + exit 1 +fi + +base_cflags=$(llvm_config --cflags) +ldflags="$(llvm_config --ldflags) -lstdc++" +llvm_targets=$(llvm_config --targets-built) + +rm -rf src +cp -r llvm-project/llvm/bindings/ocaml src + +create_dune_file() { + findlibname=$1 + dirname=$2 + modname=$3 + cfile=$4 + depends=$5 + components=$6 + + if test "$dirname" = "backends"; then + basedir=src/$dirname/$components + test ! -d "$basedir" && mkdir "$basedir" + sed "s/@TARGET@/$components/g" "src/$dirname/llvm_backend.ml.in" > "$basedir/$modname.ml" + sed "s/@TARGET@/$components/g" "src/$dirname/llvm_backend.mli.in" > "$basedir/$modname.mli" + sed "s/@TARGET@/$components/g" "src/$dirname/backend_ocaml.c" > "$basedir/$cfile.c" + cflags="$base_cflags \"-DTARGET=$components\"" + else + basedir=src/$dirname + cflags=$base_cflags + fi + + test ! -d "$basedir/common" && mkdir "$basedir/common" + cp "$basedir/$modname.mli" "$basedir/common" + + echo " +(library + (name $modname) + (public_name $findlibname) + (wrapped false) + (virtual_modules $modname) + (libraries $depends) + (default_implementation $findlibname.$default_mode)) +" > "$basedir/common/dune" + + if $support_shared_mode; then + test ! -d "$basedir/shared" && mkdir "$basedir/shared" + cp "$basedir/$modname.ml" "$basedir/shared" + cp "$basedir/$cfile.c" "$basedir/shared" + + echo " +(library + (name ${modname}_shared) + (public_name $findlibname.shared) + (implements $findlibname) + (foreign_stubs + (language c) + (names ${cfile}) + (flags ($cflags))) + (c_library_flags ($ldflags $(llvm_config --system-libs --link-shared --libs $components)))) +" >> "$basedir/shared/dune" + fi + + if $support_static_mode; then + test ! -d "$basedir/static" && mkdir "$basedir/static" + cp "$basedir/$modname.ml" "$basedir/static" + cp "$basedir/$cfile.c" "$basedir/static" + + echo " +(library + (name ${modname}_static) + (public_name $findlibname.static) + (implements $findlibname) + (foreign_stubs + (language c) + (names ${cfile}) + (flags ($cflags))) + (c_library_flags ($ldflags $(llvm_config --system-libs --link-static --libs $components)))) +" >> "$basedir/static/dune" + fi + + rm "$basedir/$modname.ml" + rm "$basedir/$cfile.c" +} + +# ------------------ public name -------- directory ---------------- module name -------- C file name --------- OCaml dependencies -------------- LLVM components (for the linker) +create_dune_file llvm llvm llvm llvm_ocaml "" "core support" +create_dune_file llvm.analysis analysis llvm_analysis analysis_ocaml "llvm" "analysis" +create_dune_file llvm.bitreader bitreader llvm_bitreader bitreader_ocaml "llvm" "bitreader" +create_dune_file llvm.bitwriter bitwriter llvm_bitwriter bitwriter_ocaml "llvm unix" "bitwriter" +create_dune_file llvm.executionengine executionengine llvm_executionengine executionengine_ocaml "llvm llvm.target ctypes.foreign" "executionengine mcjit native" +create_dune_file llvm.ipo transforms/ipo llvm_ipo ipo_ocaml "llvm" "ipo" +create_dune_file llvm.irreader irreader llvm_irreader irreader_ocaml "llvm" "irreader" +create_dune_file llvm.scalar_opts transforms/scalar_opts llvm_scalar_opts scalar_opts_ocaml "llvm" "scalaropts" +create_dune_file llvm.transform_utils transforms/utils llvm_transform_utils transform_utils_ocaml "llvm" "transformutils" +create_dune_file llvm.vectorize transforms/vectorize llvm_vectorize vectorize_ocaml "llvm" "vectorize" +create_dune_file llvm.passmgr_builder transforms/passmgr_builder llvm_passmgr_builder passmgr_builder_ocaml "llvm" "ipo" +create_dune_file llvm.target target llvm_target target_ocaml "llvm" "target" +create_dune_file llvm.linker linker llvm_linker linker_ocaml "llvm" "linker" +create_dune_file llvm.all_backends all_backends llvm_all_backends all_backends_ocaml "llvm" "$llvm_targets" + +for target in $llvm_targets; do + touch "llvm_${target}.opam" + create_dune_file "llvm_$target" backends "llvm_$target" "${target}_ocaml" "llvm" "$target" +done