From dda4c9a7e64c0fc3009425fd18f266d7c16ca655 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 16 Mar 2022 12:32:42 +0100 Subject: [PATCH] Rebuild build projects --- build.xml | 2 + samples/fitch/build.xml | 208 +++++++++++++++++------------------ samples/lambdacalc/build.xml | 103 ++++++++--------- samples/mpscore/build.xml | 164 ++++++++------------------- 4 files changed, 194 insertions(+), 283 deletions(-) diff --git a/build.xml b/build.xml index 5c275d75..37347d03 100644 --- a/build.xml +++ b/build.xml @@ -3085,9 +3085,11 @@ + + diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml index ffd3ea97..58151c14 100644 --- a/samples/fitch/build.xml +++ b/samples/fitch/build.xml @@ -763,22 +763,10 @@ + + - - - - - - - - - - - - - - @@ -978,13 +966,13 @@ - - - + + + - - - + + + @@ -995,18 +983,18 @@ - - - + + + - - - - - - - - + + + + + + + + @@ -1110,13 +1098,13 @@ - - - + + + - - - + + + @@ -1125,18 +1113,18 @@ - - - + + + - - - - - - - - + + + + + + + + @@ -1242,13 +1230,13 @@ - - - + + + - - - + + + @@ -1257,18 +1245,18 @@ - - - + + + - - - - - - - - + + + + + + + + @@ -1374,13 +1362,13 @@ - - - + + + - - - + + + @@ -1389,18 +1377,18 @@ - - - + + + - - - - - - - - + + + + + + + + @@ -1511,44 +1499,44 @@ - - - - - + + + + + - - - - - - - - + + + + + + + + - - - - - - - - - - - - - - + + + + + + + + + + + + + + @@ -1675,6 +1663,8 @@ + + diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml index 71f38820..3d6c8867 100644 --- a/samples/lambdacalc/build.xml +++ b/samples/lambdacalc/build.xml @@ -249,26 +249,13 @@ + + - - - - - - - - - - - - - - - @@ -451,22 +438,22 @@ - - - - - + + + + + - - - - - - - - + + + + + + + + @@ -522,51 +509,51 @@ - - - - + + + + - - + + - - - - - - - - + + + + + + + + - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + @@ -688,6 +675,8 @@ + + diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml index dc298e80..2514aff0 100644 --- a/samples/mpscore/build.xml +++ b/samples/mpscore/build.xml @@ -84,11 +84,9 @@ - - @@ -251,11 +249,9 @@ - - @@ -352,11 +348,9 @@ - - @@ -514,7 +508,6 @@ - @@ -758,11 +751,9 @@ - - @@ -915,11 +906,9 @@ - - @@ -1072,11 +1061,9 @@ - - @@ -1228,11 +1215,9 @@ - - @@ -1386,11 +1371,9 @@ - - @@ -1816,11 +1799,9 @@ - - @@ -2045,11 +2026,9 @@ - - @@ -2208,11 +2187,9 @@ - - @@ -2367,11 +2344,9 @@ - - @@ -2527,11 +2502,9 @@ - - @@ -2685,11 +2658,9 @@ - - @@ -2910,11 +2881,9 @@ - - @@ -3073,11 +3042,9 @@ - - @@ -3230,11 +3197,9 @@ - - @@ -3431,11 +3396,9 @@ - - @@ -3598,11 +3561,9 @@ - - @@ -3699,11 +3660,9 @@ - - @@ -3861,7 +3820,6 @@ - @@ -4105,11 +4063,9 @@ - - @@ -4262,11 +4218,9 @@ - - @@ -4419,11 +4373,9 @@ - - @@ -4575,11 +4527,9 @@ - - @@ -4733,11 +4683,9 @@ - - @@ -4901,11 +4849,9 @@ - - @@ -5064,11 +5010,9 @@ - - @@ -5227,11 +5171,9 @@ - - @@ -5386,11 +5328,9 @@ - - @@ -5546,11 +5486,9 @@ - - @@ -5704,11 +5642,9 @@ - - @@ -5862,11 +5798,9 @@ - - @@ -6025,11 +5959,9 @@ - - @@ -6182,11 +6114,9 @@ - - @@ -6576,7 +6506,7 @@ - + @@ -6639,7 +6569,7 @@ - + @@ -6712,7 +6642,7 @@ - + @@ -6844,7 +6774,7 @@ - + @@ -6912,7 +6842,7 @@ - + @@ -6970,7 +6900,7 @@ - + @@ -7043,7 +6973,7 @@ - + @@ -7107,7 +7037,7 @@ - + @@ -7179,7 +7109,7 @@ - + @@ -7237,7 +7167,7 @@ - + @@ -7305,7 +7235,7 @@ - + @@ -7363,7 +7293,7 @@ - + @@ -7432,7 +7362,7 @@ - + @@ -7490,7 +7420,7 @@ - + @@ -7559,7 +7489,7 @@ - + @@ -7618,7 +7548,7 @@ - + @@ -7690,7 +7620,7 @@ - + @@ -7813,7 +7743,7 @@ - + @@ -7871,7 +7801,7 @@ - + @@ -7933,7 +7863,7 @@ - + @@ -7992,7 +7922,7 @@ - + @@ -8072,7 +8002,7 @@ - + @@ -8134,7 +8064,7 @@ - + @@ -8192,7 +8122,7 @@ - + @@ -8254,7 +8184,7 @@ - + @@ -8312,7 +8242,7 @@ - + @@ -8370,7 +8300,7 @@ - + @@ -8493,7 +8423,7 @@ - + @@ -8576,7 +8506,7 @@ - + @@ -8663,7 +8593,7 @@ - + @@ -8747,7 +8677,7 @@ - + @@ -8811,7 +8741,7 @@ - + @@ -8869,7 +8799,7 @@ - + @@ -8943,7 +8873,7 @@ - + @@ -9016,7 +8946,7 @@ - + @@ -9073,7 +9003,7 @@ - + @@ -9134,7 +9064,7 @@ - + @@ -9191,7 +9121,7 @@ - + @@ -9256,7 +9186,7 @@ - + @@ -9317,7 +9247,7 @@ - + @@ -9396,7 +9326,7 @@ - + @@ -9461,7 +9391,7 @@ - + @@ -9521,7 +9451,7 @@ - + @@ -9599,7 +9529,7 @@ - + @@ -9661,7 +9591,7 @@ - + @@ -9786,7 +9716,7 @@ - + @@ -9921,7 +9851,7 @@ - +