···

       
146
       
146
       
 
       
})

     

       
147
       
147
       
 
       
// (optionalAttrs (args?useMelquiondRemake) rec {

     

       
148
       
148
       
 
       
  COQUSERCONTRIB = "$out/lib/coq/${coq.coq-version}/user-contrib";

     

       
149
       
149
       
-
       
  preConfigurePhases = "autoconf";

     

       
149
       
149
       
+
       
  preConfigurePhases = [ "autoconf" ];

     

       
150
       
150
       
 
       
  configureFlags = [ "--libdir=${COQUSERCONTRIB}/${useMelquiondRemake.logpath or ""}" ];

     

       
151
       
151
       
 
       
  buildPhase = "./remake -j$NIX_BUILD_CORES";

     

       
152
       
152
       
 
       
  installPhase = "./remake install";

     

···

       
31
       
31
       
 
       


     

       
32
       
32
       
 
       
    showBuildStats = true;

     

       
33
       
33
       
 
       


     

       
34
       
34
       
-
       
    preConfigurePhases = "autoconfPhase";

     

       
34
       
34
       
+
       
    preConfigurePhases = [ "autoconfPhase" ];

     

       
35
       
35
       
 
       
    postPhases = "finalPhase";

     

       
36
       
36
       
 
       


     

       
37
       
37
       
 
       
    # Autoconfiscate the sources.

     

···

       
1
       
1
       
-
       
preConfigurePhases="${preConfigurePhases:-} autoreconfPhase"

     

       
1
       
1
       
+
       
appendToVar preConfigurePhases autoreconfPhase

     

       
2
       
2
       
 
       


     

       
3
       
3
       
 
       
autoreconfPhase() {

     

       
4
       
4
       
 
       
    runHook preAutoreconf

     

···

       
1
       
1
       
-
       
preConfigurePhases+=" updateAutotoolsGnuConfigScriptsPhase"

     

       
1
       
1
       
+
       
appendToVar preConfigurePhases updateAutotoolsGnuConfigScriptsPhase

     

       
2
       
2
       
 
       


     

       
3
       
3
       
 
       
updateAutotoolsGnuConfigScriptsPhase() {

     

       
4
       
4
       
 
       
    if [ -n "${dontUpdateAutotoolsGnuConfigScripts-}" ]; then return; fi

     

···

       
10
       
10
       
 
       
}

     

       
11
       
11
       
 
       


     

       
12
       
12
       
 
       
if [ -z "${dontUseXdtAutogenPhase-}" ]; then

     

       
13
       
13
       
-
       
    preConfigurePhases+=(xdtAutogenPhase)

     

       
13
       
13
       
+
       
    appendToVar preConfigurePhases xdtAutogenPhase

     

       
14
       
14
       
 
       
fi

     

···

       
74
       
74
       
 
       


     

       
75
       
75
       
 
       
if [[ -z ${dontConfigureNuget-} ]]; then

     

       
76
       
76
       
 
       
    appendToVar prePhases createNugetDirs

     

       
77
       
77
       
-
       
    preConfigurePhases+=(configureNuget)

     

       
77
       
77
       
+
       
    appendToVar preConfigurePhases configureNuget

     

       
78
       
78
       
 
       
fi

     

···

       
15
       
15
       
 
       


     

       
16
       
16
       
 
       
  sourceRoot = "liquidfun/Box2D";

     

       
17
       
17
       
 
       


     

       
18
       
18
       
-
       
  preConfigurePhases = "preConfigure";

     

       
18
       
18
       
+
       
  preConfigurePhases = [ "preConfigure" ];

     

       
19
       
19
       
 
       


     

       
20
       
20
       
 
       
  preConfigure = ''

     

       
21
       
21
       
 
       
    sed -i Box2D/Common/b2Settings.h -e 's@b2_maxPolygonVertices .*@b2_maxPolygonVertices 15@'