make-rules/ips.mk
changeset 5751 30cf2c0cfebc
parent 5747 4441137c3e4a
child 6609 489da5c0d3c5
equal deleted inserted replaced
5750:bc8ec9fcbcac 5751:30cf2c0cfebc
    37 # This set of rules makes the "publish" target the default target for make(1)
    37 # This set of rules makes the "publish" target the default target for make(1)
    38 #
    38 #
    39 
    39 
    40 PKGDEPEND =	/usr/bin/pkgdepend
    40 PKGDEPEND =	/usr/bin/pkgdepend
    41 PKGFMT =	/usr/bin/pkgfmt
    41 PKGFMT =	/usr/bin/pkgfmt
    42 PKGMOGRIFY =	/usr/bin/pkgmogrify
       
    43 PKGSEND =	/usr/bin/pkgsend
       
    44 ifeq   ($(strip $(PKGLINT_COMPONENT)),)
       
    45 PKGLINT =	/usr/bin/pkglint
       
    46 else
       
    47 PKGLINT =	${WS_TOOLS}/pkglint
       
    48 endif
       
    49 PKGMANGLE =	$(WS_TOOLS)/userland-mangler
    42 PKGMANGLE =	$(WS_TOOLS)/userland-mangler
    50 
    43 
    51 GENERATE_HISTORY= $(WS_TOOLS)/generate-history
    44 GENERATE_HISTORY= $(WS_TOOLS)/generate-history
    52 HISTORY=	history
    45 HISTORY=	history
    53 
    46