package dune-private-libs

  1. Overview
  2. Docs
Private libraries of Dune

Install 

dune-project
 Dependency

github.com Readme Changelog MIT License Edit opam file Versions (14)

Authors

  1. J
    Jane Street Group, LLC

Maintainers

  1. J
    Jane Street Group, LLC

Sources

dune-2.5.1.tbz
sha256=8f77d3a87f208e0d7cccaa1c48c4bb1bb87d62d07c3f25e9b8ba298e028ce52b
sha512=f209f12ced10c1abf8782bdb0143f4cec77795f7174d2cc75130afb1e01550b01f2f77b9e3ec4888efdad83d2f9878d179b39126f824f4e522f3ef4da34bf27e

doc/src/dune-private-libs.stdune/sys.ml.html

Source file sys.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
include Stdlib.Sys

let linux =
  match Io.String_path.read_file "/proc/sys/kernel/ostype" |> String.trim with
  | "Linux" -> true
  | _ -> false
  | exception _ -> false

let force_remove =
  if win32 then (
    fun fn ->
  try remove fn
  with Sys_error _ ->
    (* Try to remove the "read-only" attribute, then retry. *)
    (try Unix.chmod fn 0o666 with Unix.Unix_error _ -> ());
    remove fn
  ) else
    remove