(* ****** ****** *)
//
// HX-2017-01-21:
// For handling dependencies
//
(* ****** ****** *)
//
local
//
#define
LIBGMP_targetloc
"\
$PATSHOME/contrib\
/atscntrb/atscntrb-hx-libgmp"
//
in (*in-of-local*)
//
#staload
GMP = "{$LIBGMP}/SATS/gmp.sats"
//
end // end of [local]
//
(* ****** ****** *)

(* end of [mydepies.hats] *)
