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

(-)Makefile (-3 / +1 lines)
Lines 6-12 Link Here
6 
#
 6 
#
7 

          7
          

        

        

          8
          
PORTNAME=	uppaal

          8
          
PORTNAME=	uppaal

        

          
            

              9
              
PORTVERSION=	4.0.7


              9
              
PORTVERSION=	4.0.10

            

        

          10
          
CATEGORIES=	devel java linux

          10
          
CATEGORIES=	devel java linux

        

        

          11
          
DISTNAME=	uppaal-${PORTVERSION}-aca

          11
          
DISTNAME=	uppaal-${PORTVERSION}-aca

        

        

          12
          

          12
          

        

  

    
      
            Lines 48-55
          
      
      
        Link Here
      
    
  

        

          48
          
post-patch:

          48
          
post-patch:

        

        

          49
          
	${BRANDELF} -t Linux ${WRKSRC}/bin-Linux/server

          49
          
	${BRANDELF} -t Linux ${WRKSRC}/bin-Linux/server

        

        

          50
          
	${MV} ${WRKSRC}/bin-Linux/server ${WRKSRC}/bin-Linux/server.exe

          50
          
	${MV} ${WRKSRC}/bin-Linux/server ${WRKSRC}/bin-Linux/server.exe

        

            

              51
              
	${BRANDELF} -t Linux ${WRKSRC}/bin-Linux/socketserver

              
              
            

            

              52
              
	${MV} ${WRKSRC}/bin-Linux/socketserver ${WRKSRC}/bin-Linux/socketserver.exe

            

        

          53
          
	${BRANDELF} -t Linux ${WRKSRC}/bin-Linux/verifyta

          51
          
	${BRANDELF} -t Linux ${WRKSRC}/bin-Linux/verifyta

        

        

          54
          

          52
          

        

        

          55
          
do-install:

          53
          
do-install:

        



(-)distinfo
      (-3 / +3 lines)




  

    
      
            Lines 1-3
          
      
      
        Link Here
      
    
  

          
            

              1
              
MD5 (uppaal-4.0.7-aca.zip) = 20efdc9456c5934270ef6301bb1b88ea


              1
              
MD5 (uppaal-4.0.10-aca.zip) = d6b2f7fcf97ec4dbe7e4a4c57af60ccf

            

            

              2
              
SHA256 (uppaal-4.0.7-aca.zip) = fa2a7419ff2896bc89d6fa1ace005c22e58bcaef80da672755c970f5a1b3434c


              2
              
SHA256 (uppaal-4.0.10-aca.zip) = 0b37a67d41e65f28d751ba879544281fbfb2a470404f929eb40ecc7735af716c

            

            

              3
              
SIZE (uppaal-4.0.7-aca.zip) = 4968952


              3
              
SIZE (uppaal-4.0.10-aca.zip) = 5537915

            



(-)pkg-plist
      (-3 lines)




  

    
      
            Lines 4-15
          
      
      
        Link Here
      
    
  

        

          4
          
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/jdom.jar

          4
          
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/jdom.jar

        

        

          5
          
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/jh.jar

          5
          
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/jh.jar

        

        

          6
          
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/jlfgr-1_0.jar

          6
          
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/jlfgr-1_0.jar

        

            

              7
              
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/jsr173_1.0_api.jar

              
              
            

            

              8
              
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/jsr173_1.0_ri.jar

            

        

          9
          
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/model.jar

          7
          
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/model.jar

        

        

          10
          
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/swixml.jar

          8
          
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/swixml.jar

        

        

          11
          
%%JAVASHAREDIR%%/%%PORTNAME%%/server.exe

          9
          
%%JAVASHAREDIR%%/%%PORTNAME%%/server.exe

        

            

              12
              
%%JAVASHAREDIR%%/%%PORTNAME%%/socketserver.exe

              
              
            

        

          13
          
%%JAVASHAREDIR%%/%%PORTNAME%%/verifyta

          10
          
%%JAVASHAREDIR%%/%%PORTNAME%%/verifyta

        

        

          14
          
%%JAVASHAREDIR%%/%%PORTNAME%%/uppaal.jar

          11
          
%%JAVASHAREDIR%%/%%PORTNAME%%/uppaal.jar

        

        

          15
          
%%EXAMPLESDIR%%/2doors.xml

          12
          
%%EXAMPLESDIR%%/2doors.xml

        






  

  Return to bug 139738