···

       
79
       
 
       
    "-DENABLE_SHARED=ON"

     

       
80
       
 
       
    "-DHIGH_BIT_DEPTH=OFF"

     

       
81
       
 
       
    "-DENABLE_HDR10_PLUS=OFF"

     

       
82
       
-
       
  ] ++ stdenv.lib.optionals is64bit [

     

       
83
       
 
       
    "-DEXTRA_LIB=${libx265-10}/lib/libx265.a;${libx265-12}/lib/libx265.a"

     

       
84
       
 
       
    "-DLINKED_10BIT=ON"

     

       
85
       
 
       
    "-DLINKED_12BIT=ON"

     

···

       
79
       
 
       
    "-DENABLE_SHARED=ON"

     

       
80
       
 
       
    "-DHIGH_BIT_DEPTH=OFF"

     

       
81
       
 
       
    "-DENABLE_HDR10_PLUS=OFF"

     

       
82
       
+
       
  ] ++ stdenv.lib.optionals (is64bit && !(stdenv.isAarch64 && stdenv.isLinux)) [

     

       
83
       
 
       
    "-DEXTRA_LIB=${libx265-10}/lib/libx265.a;${libx265-12}/lib/libx265.a"

     

       
84
       
 
       
    "-DLINKED_10BIT=ON"

     

       
85
       
 
       
    "-DLINKED_12BIT=ON"