From 258a190fde4a84281bfe4a68aa7cb53ed318d097 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 17 Mar 2021 16:50:44 +0100 Subject: [PATCH] Rebuild project. --- build.xml | 330 ++++++++--------------------------- samples/fitch/build.xml | 90 ---------- samples/lambdacalc/build.xml | 28 --- samples/mpscore/build.xml | 299 ++++--------------------------- 4 files changed, 104 insertions(+), 643 deletions(-) diff --git a/build.xml b/build.xml index 06f175b5..fdbce08c 100644 --- a/build.xml +++ b/build.xml @@ -59,10 +59,7 @@ - - - @@ -84,12 +81,9 @@ - - - @@ -108,16 +102,10 @@ - - - - - - @@ -128,7 +116,6 @@ - @@ -390,10 +377,7 @@ - - - @@ -424,11 +408,9 @@ - - @@ -448,16 +430,10 @@ - - - - - - @@ -468,7 +444,6 @@ - @@ -1022,7 +997,6 @@ - @@ -1032,12 +1006,8 @@ - - - - @@ -1052,12 +1022,9 @@ - - - @@ -1070,22 +1037,14 @@ - - - - - - - - @@ -1394,7 +1353,6 @@ - @@ -1408,12 +1366,8 @@ - - - - @@ -1426,12 +1380,9 @@ - - - @@ -1450,16 +1401,10 @@ - - - - - - @@ -1468,7 +1413,6 @@ - @@ -1686,7 +1630,6 @@ - @@ -1699,12 +1642,8 @@ - - - - @@ -1714,12 +1653,9 @@ - - - @@ -1734,22 +1670,14 @@ - - - - - - - - @@ -2416,10 +2344,7 @@ - - - @@ -2441,12 +2366,9 @@ - - - @@ -2465,16 +2387,10 @@ - - - - - - @@ -2485,7 +2401,6 @@ - @@ -2669,10 +2584,7 @@ - - - @@ -2703,11 +2615,9 @@ - - @@ -2727,16 +2637,10 @@ - - - - - - @@ -2747,7 +2651,6 @@ - @@ -2857,7 +2760,6 @@ - @@ -2867,12 +2769,8 @@ - - - - @@ -2887,12 +2785,9 @@ - - - @@ -2905,22 +2800,14 @@ - - - - - - - - @@ -3030,7 +2917,6 @@ - @@ -3040,12 +2926,8 @@ - - - - @@ -3060,12 +2942,9 @@ - - - @@ -3078,22 +2957,14 @@ - - - - - - - - @@ -3203,7 +3074,6 @@ - @@ -3216,12 +3086,8 @@ - - - - @@ -3231,12 +3097,9 @@ - - - @@ -3251,22 +3114,14 @@ - - - - - - - - @@ -3392,7 +3247,6 @@ - @@ -3442,11 +3296,9 @@ - - @@ -3538,11 +3390,10 @@ - - + @@ -3550,6 +3401,7 @@ + @@ -3581,11 +3433,10 @@ - - + @@ -3593,6 +3444,7 @@ + @@ -3624,18 +3476,18 @@ - - + + @@ -3643,9 +3495,7 @@ - - @@ -3685,27 +3535,25 @@ - - + + - - @@ -3744,18 +3592,18 @@ - - + + @@ -3788,18 +3636,18 @@ - - + + @@ -3828,19 +3676,19 @@ - - - + + + @@ -3855,8 +3703,6 @@ - - @@ -3870,8 +3716,8 @@ - + @@ -3907,19 +3753,19 @@ - - - + + + @@ -3934,8 +3780,6 @@ - - @@ -3951,8 +3795,8 @@ - + @@ -3986,19 +3830,19 @@ - - - + + + @@ -4017,8 +3861,6 @@ - - @@ -4028,8 +3870,8 @@ - + @@ -4060,19 +3902,19 @@ - - - + + + @@ -4098,8 +3940,8 @@ - + @@ -4122,18 +3964,18 @@ - - + + @@ -4143,9 +3985,7 @@ - - @@ -4190,19 +4030,19 @@ - - - + + + @@ -4216,8 +4056,6 @@ - - @@ -4226,8 +4064,8 @@ - + @@ -4277,19 +4115,19 @@ - - - + + + @@ -4306,8 +4144,6 @@ - - @@ -4322,8 +4158,8 @@ - + @@ -4358,19 +4194,19 @@ - - - + + + @@ -4389,8 +4225,6 @@ - - @@ -4398,8 +4232,8 @@ - + @@ -4428,9 +4262,7 @@ - - @@ -4485,19 +4317,19 @@ - - - + + + @@ -4514,8 +4346,6 @@ - - @@ -4534,8 +4364,8 @@ - + @@ -4574,18 +4404,18 @@ - - + + @@ -4619,9 +4449,7 @@ - - @@ -4690,9 +4518,7 @@ - - @@ -4757,19 +4583,19 @@ - - - + + + @@ -4792,8 +4618,8 @@ - + @@ -4812,19 +4638,19 @@ - - - + + + @@ -4850,8 +4676,8 @@ - + @@ -4872,18 +4698,18 @@ - - + + @@ -4891,9 +4717,7 @@ - - @@ -4944,9 +4768,7 @@ - - @@ -5006,11 +4828,10 @@ - - + @@ -5018,6 +4839,7 @@ + @@ -5049,11 +4871,10 @@ - - + @@ -5061,6 +4882,7 @@ + @@ -5093,11 +4915,10 @@ - - + @@ -5105,6 +4926,7 @@ + @@ -5129,11 +4951,10 @@ - - + @@ -5141,6 +4962,7 @@ + @@ -5185,19 +5007,19 @@ - - - + + + @@ -5219,8 +5041,8 @@ - + @@ -5243,19 +5065,19 @@ - - - + + + @@ -5282,8 +5104,8 @@ - + @@ -5361,7 +5183,6 @@ - @@ -5384,7 +5205,6 @@ - @@ -5411,11 +5231,9 @@ - - diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml index 8f238004..fcef864c 100644 --- a/samples/fitch/build.xml +++ b/samples/fitch/build.xml @@ -49,7 +49,6 @@ - @@ -64,13 +63,9 @@ - - - - @@ -84,12 +79,9 @@ - - - @@ -109,16 +101,10 @@ - - - - - - @@ -129,7 +115,6 @@ - @@ -226,7 +211,6 @@ - @@ -239,12 +223,8 @@ - - - - @@ -257,12 +237,9 @@ - - - @@ -280,16 +257,10 @@ - - - - - - @@ -298,7 +269,6 @@ - @@ -395,7 +365,6 @@ - @@ -409,12 +378,8 @@ - - - - @@ -428,12 +393,9 @@ - - - @@ -452,16 +414,10 @@ - - - - - - @@ -470,7 +426,6 @@ - @@ -567,7 +522,6 @@ - @@ -581,12 +535,8 @@ - - - - @@ -599,12 +549,9 @@ - - - @@ -623,16 +570,10 @@ - - - - - - @@ -641,7 +582,6 @@ - @@ -824,7 +764,6 @@ - @@ -876,7 +815,6 @@ - @@ -899,7 +837,6 @@ - @@ -924,11 +861,9 @@ - - @@ -992,9 +927,7 @@ - - @@ -1068,9 +1001,7 @@ - - @@ -1117,9 +1048,7 @@ - - @@ -1194,9 +1123,7 @@ - - @@ -1244,9 +1171,7 @@ - - @@ -1322,9 +1247,7 @@ - - @@ -1373,9 +1296,7 @@ - - @@ -1450,9 +1371,7 @@ - - @@ -1503,9 +1422,7 @@ - - @@ -1579,7 +1496,6 @@ - @@ -1610,7 +1526,6 @@ - @@ -1628,7 +1543,6 @@ - @@ -1650,14 +1564,12 @@ - - @@ -1675,11 +1587,9 @@ - - diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml index 3ea22bb0..0ad2ba52 100644 --- a/samples/lambdacalc/build.xml +++ b/samples/lambdacalc/build.xml @@ -49,7 +49,6 @@ - @@ -63,12 +62,8 @@ - - - - @@ -88,11 +83,9 @@ - - @@ -111,16 +104,10 @@ - - - - - - @@ -129,7 +116,6 @@ - @@ -325,7 +311,6 @@ - @@ -347,7 +332,6 @@ - @@ -372,11 +356,9 @@ - - @@ -427,9 +409,7 @@ - - @@ -492,9 +472,7 @@ - - @@ -603,7 +581,6 @@ - @@ -621,7 +598,6 @@ - @@ -643,14 +619,12 @@ - - @@ -668,11 +642,9 @@ - - diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml index 5b2498c6..a382a6fb 100644 --- a/samples/mpscore/build.xml +++ b/samples/mpscore/build.xml @@ -49,7 +49,6 @@ - @@ -60,12 +59,9 @@ - - - @@ -73,12 +69,9 @@ - - - @@ -90,14 +83,8 @@ - - - - - - @@ -105,7 +92,6 @@ - @@ -200,7 +186,6 @@ - @@ -211,12 +196,8 @@ - - - - @@ -234,12 +215,9 @@ - - - @@ -255,19 +233,12 @@ - - - - - - - @@ -308,7 +279,6 @@ - @@ -319,12 +289,9 @@ - - - @@ -332,12 +299,9 @@ - - - @@ -350,14 +314,8 @@ - - - - - - @@ -365,7 +323,6 @@ - @@ -461,7 +418,6 @@ - @@ -472,12 +428,9 @@ - - - @@ -492,12 +445,9 @@ - - - @@ -510,14 +460,8 @@ - - - - - - @@ -525,7 +469,6 @@ - @@ -565,7 +508,6 @@ - @@ -576,12 +518,9 @@ - - - @@ -592,12 +531,9 @@ - - - @@ -610,14 +546,8 @@ - - - - - - @@ -625,7 +555,6 @@ - @@ -721,7 +650,6 @@ - @@ -732,12 +660,9 @@ - - - @@ -746,12 +671,9 @@ - - - @@ -764,14 +686,8 @@ - - - - - - @@ -779,7 +695,6 @@ - @@ -874,7 +789,6 @@ - @@ -885,12 +799,9 @@ - - - @@ -899,12 +810,9 @@ - - - @@ -917,14 +825,8 @@ - - - - - - @@ -932,7 +834,6 @@ - @@ -1027,7 +928,6 @@ - @@ -1038,12 +938,9 @@ - - - @@ -1052,12 +949,9 @@ - - - @@ -1070,14 +964,8 @@ - - - - - - @@ -1085,7 +973,6 @@ - @@ -1180,7 +1067,6 @@ - @@ -1191,12 +1077,9 @@ - - - @@ -1206,12 +1089,9 @@ - - - @@ -1224,14 +1104,8 @@ - - - - - - @@ -1239,7 +1113,6 @@ - @@ -1610,8 +1483,6 @@ - - @@ -1633,12 +1504,9 @@ - - - @@ -1651,14 +1519,8 @@ - - - - - - @@ -1666,7 +1528,6 @@ - @@ -1828,7 +1689,6 @@ - @@ -1839,12 +1699,9 @@ - - - @@ -1858,12 +1715,9 @@ - - - @@ -1876,14 +1730,8 @@ - - - - - - @@ -1891,7 +1739,6 @@ - @@ -1986,7 +1833,6 @@ - @@ -1997,12 +1843,9 @@ - - - @@ -2017,12 +1860,9 @@ - - - @@ -2035,14 +1875,8 @@ - - - - - - @@ -2050,7 +1884,6 @@ - @@ -2145,7 +1978,6 @@ - @@ -2156,12 +1988,9 @@ - - - @@ -2172,12 +2001,9 @@ - - - @@ -2190,14 +2016,8 @@ - - - - - - @@ -2205,7 +2025,6 @@ - @@ -2299,7 +2118,6 @@ - @@ -2310,12 +2128,9 @@ - - - @@ -2328,12 +2143,9 @@ - - - @@ -2346,14 +2158,8 @@ - - - - - - @@ -2361,7 +2167,6 @@ - @@ -2455,7 +2260,6 @@ - @@ -2466,12 +2270,9 @@ - - - @@ -2482,12 +2283,9 @@ - - - @@ -2500,14 +2298,8 @@ - - - - - - @@ -2515,7 +2307,6 @@ - @@ -2677,7 +2468,6 @@ - @@ -2688,12 +2478,9 @@ - - - @@ -2704,12 +2491,9 @@ - - - @@ -2722,14 +2506,8 @@ - - - - - - @@ -2738,7 +2516,6 @@ - @@ -2876,7 +2653,6 @@ - @@ -2925,7 +2701,6 @@ - @@ -2948,7 +2723,6 @@ - @@ -3121,9 +2895,7 @@ - - @@ -3143,6 +2915,8 @@ + + @@ -3184,9 +2958,7 @@ - - @@ -3206,6 +2978,8 @@ + + @@ -3335,9 +3109,7 @@ - - @@ -3357,6 +3129,8 @@ + + @@ -3471,9 +3245,7 @@ - - @@ -3493,6 +3265,8 @@ + + @@ -3529,9 +3303,7 @@ - - @@ -3551,6 +3323,8 @@ + + @@ -3597,9 +3371,7 @@ - - @@ -3619,6 +3391,8 @@ + + @@ -3726,9 +3500,7 @@ - - @@ -3748,6 +3520,8 @@ + + @@ -3784,9 +3558,7 @@ - - @@ -3806,6 +3578,8 @@ + + @@ -3853,9 +3627,7 @@ - - @@ -3875,6 +3647,8 @@ + + @@ -3912,9 +3686,7 @@ - - @@ -3988,9 +3760,7 @@ - - @@ -4010,6 +3780,8 @@ + + @@ -4050,9 +3822,7 @@ - - @@ -4072,6 +3842,8 @@ + + @@ -4288,9 +4060,7 @@ - - @@ -4376,9 +4146,7 @@ - - @@ -4462,9 +4230,7 @@ - - @@ -4545,9 +4311,7 @@ - - @@ -4567,6 +4331,8 @@ + + @@ -4739,9 +4505,7 @@ - - @@ -4761,6 +4525,8 @@ + + @@ -4866,9 +4632,7 @@ - - @@ -4888,6 +4652,8 @@ + + @@ -5392,9 +5158,7 @@ - - @@ -5414,6 +5178,8 @@ + + @@ -5514,7 +5280,6 @@ - @@ -5544,7 +5309,6 @@ - @@ -5562,7 +5326,6 @@ - @@ -5585,14 +5348,12 @@ - -