Searched refs:SPEC_DIR (Results 1 – 2 of 2) sorted by relevance
10 SPEC_DIR := spec/interpreter macro11 SPEC_BUILD_DIR := $(SPEC_DIR)/_build33 make -C $(SPEC_DIR) libopt38 make -C $(SPEC_DIR) clean
12 const SPEC_DIR: &'static str = "ocaml/spec"; constant38 if is_spec_repository_empty(SPEC_DIR) { in build()39 retrieve_spec_repository(SPEC_DIR) in build()