Searched refs:PACKAGE_NAME (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-master/HOL4/polyml/
H A Dwinconfig.h573 #undef PACKAGE_NAME macro
H A DMakefile.in362 PACKAGE_NAME = @PACKAGE_NAME@
H A Dconfigure591 PACKAGE_NAME='Poly/ML'
807 PACKAGE_NAME
2787 #define PACKAGE_NAME "$PACKAGE_NAME"
/seL4-l4v-master/HOL4/polyml/modules/IntInfAsInt/
H A DMakefile.in189 PACKAGE_NAME = @PACKAGE_NAME@
/seL4-l4v-master/HOL4/polyml/modules/
H A DMakefile.in249 PACKAGE_NAME = @PACKAGE_NAME@
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A DMakefile.in377 PACKAGE_NAME = @PACKAGE_NAME@
/seL4-l4v-master/HOL4/polyml/libpolymain/
H A DMakefile.in271 PACKAGE_NAME = @PACKAGE_NAME@

Completed in 94 milliseconds