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

/seL4-l4v-master/HOL4/polyml/
H A Dwinconfig.h579 #undef PACKAGE_TARNAME macro
H A DMakefile.in364 PACKAGE_TARNAME = @PACKAGE_TARNAME@
H A Dconfigure592 PACKAGE_TARNAME='polyml'
806 PACKAGE_TARNAME
897 docdir='${datarootdir}/doc/${PACKAGE_TARNAME}'
2791 #define PACKAGE_TARNAME "$PACKAGE_TARNAME"
/seL4-l4v-master/HOL4/polyml/modules/IntInfAsInt/
H A DMakefile.in191 PACKAGE_TARNAME = @PACKAGE_TARNAME@
/seL4-l4v-master/HOL4/polyml/modules/
H A DMakefile.in251 PACKAGE_TARNAME = @PACKAGE_TARNAME@
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A DMakefile.in379 PACKAGE_TARNAME = @PACKAGE_TARNAME@
/seL4-l4v-master/HOL4/polyml/libpolymain/
H A DMakefile.in273 PACKAGE_TARNAME = @PACKAGE_TARNAME@

Completed in 163 milliseconds