2014-08-27 16:38:13 +02:00
|
|
|
open Core.Std;;
|
2014-09-17 11:49:00 +02:00
|
|
|
open Qptypes;;
|
2014-10-10 00:26:49 +02:00
|
|
|
open Qputils;;
|
2014-08-27 16:38:13 +02:00
|
|
|
|
|
|
|
(** Variables related to the quantum package installation *)
|
|
|
|
|
|
|
|
let root =
|
|
|
|
match (Sys.getenv "QPACKAGE_ROOT") with
|
|
|
|
| None -> failwith "QPACKAGE_ROOT environment variable is not set.
|
|
|
|
Please source the quantum_package.rc file."
|
|
|
|
| Some x -> x
|
|
|
|
;;
|
|
|
|
|
2014-09-17 12:34:31 +02:00
|
|
|
let bit_kind_size = lazy (
|
2014-10-18 00:10:25 +02:00
|
|
|
let filename = root^"/src/Bitmask/bitmasks_module.f90" in
|
2014-09-17 11:49:00 +02:00
|
|
|
if not (Sys.file_exists_exn filename) then
|
|
|
|
raise (Failure ("File "^filename^" not found"));
|
|
|
|
|
|
|
|
let in_channel = In_channel.create filename in
|
|
|
|
let lines = In_channel.input_lines in_channel in
|
|
|
|
In_channel.close in_channel;
|
|
|
|
|
|
|
|
let rec get_data = function
|
|
|
|
| [] -> raise (Failure ("bit_kind_size not found in "^filename))
|
|
|
|
| line::tail ->
|
|
|
|
let line =
|
|
|
|
begin match String.split ~on:'!' line |> List.hd with
|
|
|
|
| Some x -> x
|
|
|
|
| None -> ""
|
|
|
|
end in
|
|
|
|
begin match (String.rsplit2 ~on:':' line) with
|
|
|
|
| Some (_ ,buffer) ->
|
|
|
|
begin match (String.split ~on:'=' buffer |> List.map ~f:String.strip) with
|
|
|
|
| ["bit_kind_size"; x] ->
|
|
|
|
Int.of_string x |> Bit_kind_size.of_int
|
|
|
|
| _ -> get_data tail
|
|
|
|
end
|
|
|
|
| _ -> get_data tail
|
|
|
|
end
|
|
|
|
in
|
2014-09-17 12:34:31 +02:00
|
|
|
get_data lines )
|
2014-09-17 11:49:00 +02:00
|
|
|
;;
|
2014-10-10 00:26:49 +02:00
|
|
|
|
2014-10-18 00:10:25 +02:00
|
|
|
let bit_kind = lazy (
|
|
|
|
Lazy.force bit_kind_size
|
|
|
|
|> Bit_kind_size.to_int
|
|
|
|
|> fun x -> x / 8
|
|
|
|
|> Bit_kind.of_int
|
|
|
|
)
|
|
|
|
;;
|
|
|
|
|
2014-10-10 00:26:49 +02:00
|
|
|
let executables = lazy (
|
2014-10-18 00:10:25 +02:00
|
|
|
let filename = root^"/data/executables"
|
2014-10-10 00:26:49 +02:00
|
|
|
and func in_channel =
|
|
|
|
In_channel.input_lines in_channel
|
|
|
|
|> List.map ~f:(fun x ->
|
|
|
|
let e = String.split ~on:' ' x
|
|
|
|
|> List.map ~f:String.strip
|
|
|
|
|> List.filter ~f:(fun x -> x <> "")
|
|
|
|
in
|
|
|
|
match e with
|
|
|
|
| [a;b] -> (a,String.substr_replace_all ~pattern:"$QPACKAGE_ROOT" ~with_:root b)
|
|
|
|
| _ -> ("","")
|
|
|
|
)
|
|
|
|
in
|
|
|
|
In_channel.with_file filename ~f:func
|
|
|
|
|> List.sort ~cmp:(fun (x,_) (y,_) ->
|
|
|
|
if x < y then -1
|
|
|
|
else if x > y then 1
|
|
|
|
else 0)
|
|
|
|
)
|
|
|
|
|
|
|
|
|
2014-10-17 22:25:45 +02:00
|
|
|
let get_ezfio_default directory data =
|
2014-10-18 00:10:25 +02:00
|
|
|
let filename = root^"/data/ezfio_defaults" in
|
2014-10-17 22:25:45 +02:00
|
|
|
let lines = In_channel.with_file filename ~f:(fun in_channel ->
|
|
|
|
In_channel.input_lines in_channel) in
|
|
|
|
let rec find_dir = function
|
|
|
|
| line :: rest ->
|
|
|
|
if ((String.strip line) = directory) then
|
|
|
|
rest
|
|
|
|
else
|
|
|
|
find_dir rest
|
|
|
|
| [] -> raise Not_found
|
|
|
|
in
|
|
|
|
let rec find_data = function
|
|
|
|
| line :: rest ->
|
|
|
|
if (line = "") then
|
|
|
|
raise Not_found
|
|
|
|
else if (line.[0] <> ' ') then
|
|
|
|
raise Not_found
|
|
|
|
else
|
|
|
|
begin
|
|
|
|
match (String.lsplit2 ~on:' ' (String.strip line)) with
|
|
|
|
| Some (l,r) ->
|
|
|
|
if (l = data) then (String.lowercase (String.strip r))
|
|
|
|
else find_data rest
|
|
|
|
| None -> raise Not_found
|
|
|
|
end
|
|
|
|
| [] -> raise Not_found
|
|
|
|
in
|
|
|
|
find_dir lines
|
|
|
|
|> find_data ;
|
|
|
|
;;
|