Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
View | Details | Raw Unified | Return to bug 447928 | Differences between
and this patch

Collapse All | Expand All

(-)/usr/portage/dev-libs/ppl/ppl-0.12.1.ebuild (+1 lines)
Lines 30-35 Link Here
30 
}
 30 
}
31 

          31
          

        

        

          32
          
src_configure() {

          32
          
src_configure() {

        

            

              
              
              33
              
 	epatch "${FILESDIR}"/gmp.patch

            

        

          33
          
	econf \

          34
          
	econf \

        

        

          34
          
		--docdir="${EPREFIX}"/usr/share/doc/${PF} \

          35
          
		--docdir="${EPREFIX}"/usr/share/doc/${PF} \

        

        

          35
          
		--disable-debugging \

          36
          
		--disable-debugging \

        






  

  Return to bug 447928