Changeset 2223ceb in mainline for tools/autotool.py

Timestamp:

2018-04-30T16:42:00Z (7 years ago)

Author:

Jiří Zárevúcky <jiri.zarevucky@…>

Children:

aa0c8b2

Parents:

4c5f04f

git-author:

Jiří Zárevúcky <jiri.zarevucky@…> (2018-04-30 14:51:05)

git-committer:

Jiří Zárevúcky <jiri.zarevucky@…> (2018-04-30 16:42:00)

Message:

Revive support for custom target specification.

Instead of maintaining patches separately, directly pull sources from
git. The target is, at the moment, still opt-in.

File:

• tools/autotool.py (modified) (2 diffs)

tools/autotool.py

@@ -185 +185 @@
                 if (config['CROSS_TARGET'] == "arm32"):
                         gnu_target = "arm-linux-gnueabi"
-                        helenos_target = "arm-helenos-gnueabi"
+                        helenos_target = "arm-helenos"
 
                 if (config['CROSS_TARGET'] == "ia32"):
                         gnu_target = "i686-pc-linux-gnu"
-                        helenos_target = "i686-pc-helenos"
+                        helenos_target = "i686-helenos"
 
                 if (config['CROSS_TARGET'] == "mips32"):
@@ -204 +204 @@
                 platform = config['PLATFORM']
                 gnu_target = "arm-linux-gnueabi"
-                helenos_target = "arm-helenos-gnueabi"
+                helenos_target = "arm-helenos"
 
         if (config['PLATFORM'] == "ia32"):
                 platform = config['PLATFORM']
                 gnu_target = "i686-pc-linux-gnu"
-                helenos_target = "i686-pc-helenos"
+                helenos_target = "i686-helenos"
 
         if (config['PLATFORM'] == "ia64"):
                 platform = config['PLATFORM']
                 gnu_target = "ia64-pc-linux-gnu"
-                helenos_target = "ia64-pc-helenos"
+                helenos_target = "ia64-helenos"
 
         if (config['PLATFORM'] == "mips32"):