this repo has no description
anil.recoil.org
1# Autogenerated by dksdk-ffi-ocaml's [package-DkSDKFFIOCaml_Std] target
2# This file is generated by dune, edit dune-project instead
3opam-version: "2.0"
4synopsis: "DkSDK FFI for OCaml"
5description: """
6DkSDK FFI OCaml provides within-process communication from OCaml to another
7DkSDK FFI language (ex. DkSDK FFI Java).
8.
9Copyright 2023 Diskuv, Inc.
10.
11This open-source package downloads pre-built binaries for a limited set of
12platforms to avoid the C build tool differences between DkSDK and OCaml.
13.
14Full source code and other platforms are available with a
15"DkSDK SOFTWARE DEVELOPMENT KIT LICENSE AGREEMENT" from
16<https://diskuv.com/pricing>, and is free for security engineers,
17educators and related-field researchers (ex. programming language theory,
18memory and thread modeling) on request.
19.
20The DkSDK FFI OCaml source code, documentation and build scripts are also
21available under the Open Software License version 3.0,
22<https://opensource.org/license/osl-3-0-php/>, at your option.
23.
24A guide to the Open Software License version 3.0 is available at
25https://rosenlaw.com/OSL3.0-explained.htm.
26.
27The "DkSDK FFI OCaml Runtime Binaries" is the set of ".tar" and ".zip"
28archives distributed by Diskuv, Inc. and downloaded by the DkSDK FFI OCaml
29build scripts. DkSDK FFI OCaml Runtime Binaries © 2023 by Diskuv, Inc. is
30licensed under Attribution-NoDerivatives 4.0 International. To view a copy
31of this license, visit http://creativecommons.org/licenses/by-nd/4.0/."""
32maintainer: ["Diskuv, Inc. <opensource+dkml@support.diskuv.com>"]
33authors: ["Diskuv, Inc. <opensource+dkml@support.diskuv.com>"]
34license: "OSL-3.0"
35homepage: "https://diskuv.com/cmake/help/latest"
36bug-reports: "https://github.com/diskuv/dksdk-ffi/issues"
37depends: [
38 "DkSDKFFIOCaml_StdExport-linux_x86_64" {arch = "x86_64" & os = "linux" & os-distribution != "alpine" & = "1.0.0~1"}
39 "dune" {>= "3.8"}
40 "ocaml" {>= "4.14.0"}
41 "capnp" {>= "3.5.0"}
42 "dum" {>= "1.0.3"}
43 "lwt"
44 "uuidm" {>= "0.9.8"}
45 "odoc" {with-doc}
46]
47build: [
48 # Install foreign archive for the correct OS/architecture
49 ["install" "%{DkSDKFFIOCaml_StdExport-linux_x86_64:lib}%/libDkSDKFFIOCaml_StdStatic.a" "src/Std/libDkSDKFFIOCaml_StdExport.a"] {arch = "x86_64" & os = "linux" & os-distribution != "alpine"}
50 ["install" "%{DkSDKFFIOCaml_StdExport-linux_x86_64:lib}%/libDkSDKFFIOCaml_StdShared.so" "src/Std/dllDkSDKFFIOCaml_StdExport.so"] {arch = "x86_64" & os = "linux" & os-distribution != "alpine"}
51
52 # Transform:
53 # (public_name DkSDKFFIOCaml_Std)
54 # idempotently to:
55 # (public_name DkSDKFFIOCaml_Std) (foreign_archives DkSDKFFIOCaml_StdStatic)
56 ["sh" "-eufcx"
57 """
58 sed 's/(public_name DkSDKFFIOCaml_Std)$/(public_name DkSDKFFIOCaml_Std) (foreign_archives DkSDKFFIOCaml_StdExport)/' src/Std/dune > src/Std/dune.tmp
59 mv src/Std/dune.tmp src/Std/dune
60 """
61 ]
62
63 ["dune" "subst"] {dev}
64 [
65 "dune"
66 "build"
67 "-p"
68 name
69 "-j"
70 jobs
71 "@install"
72 "@runtest" {with-test}
73 "@doc" {with-doc}
74 ]
75]
76dev-repo:
77 "git+https://gitlab.com/diskuv/distributions/1.0/dksdk-ffi-ocaml.git"
78##########################################################################
79# File: dksdk-ffi-ocaml/DkSDKFFIOCaml_Std.opam.template #
80# #
81# Copyright 2023 Diskuv, Inc. #
82# #
83# Licensed under the Open Software License version 3.0 #
84# (the "License"); you may not use this file except in compliance #
85# with the License. You may obtain a copy of the License at #
86# #
87# https://opensource.org/license/osl-3-0-php/ #
88# #
89##########################################################################
90available: arch = "x86_64" & os = "linux" & os-distribution != "alpine"
91url {
92 # Backported into https://gitlab.com/diskuv/registries/public-opam-pkgs as Dk version 2.1.3
93 src: "https://gitlab.com/api/v4/projects/62116180/packages/generic/sources/2.1.3/any-DkSDKFFI_OCaml-2.1.3.src.tar.gz"
94 checksum: [
95 "sha256=cfaee0952eddae71921bb98f76b5b2de9ebb1039bf196155ad405f54926196c3"
96 "sha512=f4b7aa7a8a158ab95d30124de73e27908d999cf64a5ffed8a9c536b86c84f694cd2bb0a46ce259d9e7c0c5276c02451ef077acdece3b2da7e8ddc9d754417047"
97 ]
98}