package jasmin

  1. Overview
  2. Docs
Compiler for High-Assurance and High-Speed Cryptography

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (17)

Authors

  1. J
    Jasmin authors and contributors

Maintainers

  1. J
    Jean-Christophe Léchenet <jean-christophe.lechenet@inria.fr>

Sources

jasmin-compiler-v2025.06.1.tar.bz2
sha256=e92b42fa69da7c730b0c26dacf842a72b4febcaf4f2157a1dc18b3cce1f859fa

doc/src/jasmin.jasmin/CLI_errors.ml.html

Source file CLI_errors.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
open Glob_options
open Utils

(* -------------------------------------------------------------------- *)

type cli_error =
  | RedundantInputFile of string * string
  | FileNotFound of string
  | FileIsDirectory of string
  | FilePathNotFound of string

let pp_cli_error ie =
  match ie with
  | RedundantInputFile (infile, s) ->
      Format.asprintf
        "Input file already set to %s, second input file %s is redundant"
        infile
        s
  | FileNotFound s -> Format.asprintf "File %s not found" s
  | FileIsDirectory s -> Format.asprintf "File %s is a directory" s
  | FilePathNotFound s -> Format.asprintf "Path for file %s doesn't exist" s

exception CLIerror of cli_error

(* -------------------------------------------------------------------- *)

let is_directory fname = BatSys.file_exists fname && BatSys.is_directory fname

let check_infile s =
  if not (BatSys.file_exists s) then raise (CLIerror (FileNotFound s));
  if is_directory s then raise (CLIerror (FileIsDirectory s))

let chk_is_not_dir fname =
  if is_directory fname then raise (CLIerror (FileIsDirectory fname))

let chk_path_exists fname =
  if not (is_directory (BatFilename.dirname fname)) then
    raise (CLIerror (FilePathNotFound fname))

let check_options () =
  let chk_out_file fref =
    let fname = !fref in
    if fname <> "" then begin
      chk_is_not_dir fname;
      chk_path_exists fname
    end
  in

  if !call_conv = Windows
  then warning Experimental Location.i_dummy
      "support for windows calling-convention is experimental";

  if !target_arch = ARM_M4
    then warning Experimental Location.i_dummy
      "support of the ARMv7 architecture is experimental";

  if !target_arch = RISCV
    then warning Experimental Location.i_dummy
      "support of the RISC-V architecture is experimental";

  chk_out_file outfile