View | Details | Raw Unified | Return to bug 231604
Collapse All | Expand All

(-)Makefile (-1 / +1 lines)
Lines 12-18 Link Here
12 
LICENSE=	MIT
 12 
LICENSE=	MIT
13 
LICENSE_FILE=	${WRKSRC}/LICENSE.txt
 13 
LICENSE_FILE=	${WRKSRC}/LICENSE.txt
14 

          14
          

        

          
            

              15
              
USES=		python:2.7,build


              15
              
USES=		compiler:c++11-lang python:2.7,build

            

        

          16
          
USE_GITHUB=	yes

          16
          
USE_GITHUB=	yes

        

        

          17
          
GH_ACCOUNT=	Z3Prover

          17
          
GH_ACCOUNT=	Z3Prover

        

        

          18
          

          18
          

        






  

  Return to bug 231604