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

/seL4-l4v-master/HOL4/polyml/
H A Dwinconfig.h582 #undef PACKAGE_URL macro
H A DMakefile.in365 PACKAGE_URL = @PACKAGE_URL@
H A Dconfigure596 PACKAGE_URL=''
802 PACKAGE_URL
2807 #define PACKAGE_URL "$PACKAGE_URL"
/seL4-l4v-master/HOL4/polyml/modules/IntInfAsInt/
H A DMakefile.in192 PACKAGE_URL = @PACKAGE_URL@
/seL4-l4v-master/HOL4/polyml/modules/
H A DMakefile.in252 PACKAGE_URL = @PACKAGE_URL@
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A DMakefile.in380 PACKAGE_URL = @PACKAGE_URL@
/seL4-l4v-master/HOL4/polyml/libpolymain/
H A DMakefile.in274 PACKAGE_URL = @PACKAGE_URL@

Completed in 131 milliseconds