mirror of
https://github.com/paparazzi/paparazzi.git
synced 2026-05-29 02:38:07 +08:00
[ocaml] add old and new GCS srtm path to default directory list (#3030)
This commit is contained in:
committed by
GitHub
parent
1a985e5623
commit
10bdec0463
@@ -46,6 +46,9 @@ let paparazzi_conf = paparazzi_home // "conf"
|
||||
let flight_plans_path = paparazzi_conf // "flight_plans"
|
||||
let flight_plan_dtd = flight_plans_path // "flight_plan.dtd"
|
||||
|
||||
let srtm_path = paparazzi_home // "data" // "srtm"
|
||||
let srtm_pprzgcs_path = (Sys.getenv "HOME") // ".local" // "share" // "pprzgcs" // "srtm"
|
||||
|
||||
(** Returns the list of directories where to look for modules
|
||||
* Default PAPARAZZI_HOME/conf/modules is always returned
|
||||
* Extra directories can be added with PAPARAZZI_MODULES_PATH
|
||||
|
||||
@@ -36,6 +36,9 @@ val flight_plan_dtd : string
|
||||
val modules_paths : string list
|
||||
val modules_ext_paths : string list
|
||||
|
||||
val srtm_path : string
|
||||
val srtm_pprzgcs_path : string
|
||||
|
||||
val icon_file : string
|
||||
(** PNG paparazzi logo icon (48 x 48, 8-bit/color RGBA, non-interlaced) *)
|
||||
|
||||
|
||||
@@ -43,7 +43,7 @@ let tile_size_gl1 = 3601
|
||||
let htiles = Hashtbl.create 13
|
||||
|
||||
(* Path to data files *)
|
||||
let path = ref ["."]
|
||||
let path = ref ["."; Env.srtm_pprzgcs_path; Env.srtm_path]
|
||||
|
||||
let add_path = fun p -> path := p :: !path
|
||||
|
||||
|
||||
Reference in New Issue
Block a user