Project

General

Profile

Actions

Bug #10121

open

technical output printing at 'compile.sh' script running with '--help' option

Added by Sergey Smolov over 4 years ago. Updated over 1 year ago.

Status:
Open
Priority:
Normal
Category:
-
Target version:
Start date:
02/13/2020
Due date:
% Done:

0%

Estimated time:
Detected in build:
master
Platform:
Published in build:

Description

$ ./bin/compile.sh --help
Buildfile: /home/ssedai/Downloads/microtesk-2.5.1-beta-200127/bin/build.xml

clean:
   [delete] Deleting directory /home/ssedai/Downloads/microtesk-2.5.1-beta-200127/gen

BUILD SUCCESSFUL
Total time: 0 seconds
usage: [options] Files to be processed
-ad,--arch-dirs <arg>              Home directories for tested architectures [works with -g],
                                   default="" 
-ae,--asserts-enabled              Enables assertion checks during simulation [works with -g],
                                   default=false
-af,--align-format <arg>           Alignment directive format [works with -g], default=".align %d" 
-aff,--align-format2 <arg>         Alignment directive format [works with -g], default=".align %d,
                                   0x%02x" 
-baf,--byte-align-format <arg>     Byte alignment directive format [works with -g], default=".balign
                                   %d" 
-baff,--byte-align-format2 <arg>   Byte alignment directive format [works with -g], default=".balign
                                   %d, 0x%02x" 
-bel,--branch-exec-limit <arg>     Maximum execution count for an instruction [works with -g],
                                   default=100
-bfbe,--binary-file-big-endian     Use big endian for binary files, default=false
-bfe,--binary-file-extension <arg> Binary file extension [works with -g], default="bin" 
-btn,--base-template-name <arg>    Name of test template base class [works with -gt], default="" 
-btp,--base-template-path <arg>    Path to test template base class file [works with -gt],
                                   default="" 
-cd,--comments-debug               Enables generation of detailed comments, depends on
                                   --comments-enabled [works with -g], default=false
-ce,--comments-enabled             Enables generation of comments [works with -g], default=false
-cfe,--code-file-extension <arg>   Output file extension [works with -g], default="asm" 
-cfp,--code-file-prefix <arg>      Output file prefix [works with -g], default="test" 
-cl,--coverage-log                 Enables coverage trace generation [works with -g], default=false
-ct,--comment-token <arg>          Single-line comment text [works with -g], default="//" 
-cte,--comment-token-end <arg>     Text that ends a multiline comment [works with -g], default="*/" 
-cts,--comment-token-start <arg>   Text that starts a multiline comment [works with -g],
                                   default="/*" 
-d,--disassemble                   Disassembles binary files, default=false
-dfe,--data-file-extension <arg>   Data file extension [works with -g], default="asm" 
-dfp,--data-file-prefix <arg>      Data file prefix [works with -g], default="data" 
-dp,--debug-print                  Enables printing detailed debug messages [works with -g],
                                   default=false
-dsk,--data-section-keyword <arg>  Data section directive [works with -g], default=".data" 
-dtd,--default-test-data           Enables generation of default test data [works with -g],
                                   default=false
-ed,--extension-dir <arg>          Directory that stores user-defined Java code [works with -t],
                                   default="" 
-efp,--except-file-prefix <arg>    Exception handler file prefix [works with -g],
                                   default="test_except" 
-fde,--fetch-decode-enabled        Enables allocation, fetching and decoding of instructions [works
                                   with -g], default=false
-g,--generate                      Generates test programs, default=false
-gb,--generate-binary              Enables generating binary files (limited functionality for
                                   debugging) [works with -g], default=false
-gf,--global-format <arg>          Global directive format [works with -g], default=".globl %s" 
-gt,--generate-template            Generates test templates, default=false
-h,--help                          Shows help message, default=false
-i,--include <arg>                 Directory that stores include files [works with -t], default="" 
-ii,--ignored-instructions <arg>   Instructions to be ignored [works with -gt], default="" 
-in,--instance-number <arg>        Number of processing element instances [works with -g], default=1
-it,--indent-token <arg>           Indentation text [works with -g], default=" 
                                   " 
-jtpm,--jruby-thread-pool-max <arg>JRuby: maximum number of threads to allow in pool [works with
                                   -g], default=2147483647
-mn,--model-name <arg>             Name of the constructed microprocessor model [works with -t],
                                   default="" 
-ns,--no-simulation                Disables simulation of generated code [works with -g],
                                   default=false
-od,--output-dir <arg>             Directory to place generated files, default="./output" 
-of,--origin-format <arg>          Origin directive format [works with -g], default=".org 0x%x" 
-off,--option-format <arg>         Option directive format [works with -g], default=".option %s" 
-paf,--power2-align-format <arg>   Power of 2 alignment directive format [works with -g],
                                   default=".p2align %d" 
-paff,--power2-align-format2 <arg> Power of 2 alignment directive format [works with -g],
                                   default=".p2align %d, 0x%02x" 
-pll,--program-length-limit <arg>  Maximum program length [works with -g], default=1000
-rd,--reserve-dependencies         Enables automated reservation of registers that have dependencies
                                   [works with -g], default=false
-re,--reserve-explicit             Enables marking all explicitly specified registers as used [works
                                   with -g], default=false
-ri,--rev-id <arg>                 Identifier of revision to be used, default="" 
-rl,--rate-limit <arg>             Minimum generation rate [works with -g], default=0
-rs,--random-seed <arg>            Seed for randomizer [works with -g], default=0
-s,--solver <arg>                  Constraint solver engine to be used, default="cvc4" 
-sc,--self-checks                  Enables inserting self-checks into test programs [works with -g],
                                   default=false
-sd,--solver-debug                 Enables debug mode for SMT solvers [works with -g], default=false
-se,--symbolic-execute             Performs symbolic execution, default=false
-st,--separator-token <arg>        Text used to create separators [works with -g], default="=" 
-t,--translate                     Translates formal specifications, default=false
-tl,--tracer-log                   Enables generation of Tracer logs for simulation [works with -g],
                                   default=false
-tll,--trace-length-limit <arg>    Maximum execution trace length [works with -g], default=1000
-ts,--time-statistics              Enables printing time statistics [works with -g], default=false
-tsk,--text-section-keyword <arg>  Text section directive [works with -g], default=".text" 
-tt,--transform-trace              Transforms traces into templates, default=false
-v,--verbose                       Enables printing diagnostic messages, default=false
-wf,--weak-format <arg>            Weak directive format [works with -g], default=".weak %s" 

Buildfile: /home/ssedai/Downloads/microtesk-2.5.1-beta-200127/bin/build.xml

build:
    [mkdir] Created dir: /home/ssedai/Downloads/microtesk-2.5.1-beta-200127/gen/bin

BUILD FAILED
/home/ssedai/Downloads/microtesk-2.5.1-beta-200127/bin/build.xml:47: srcdir "/home/ssedai/Downloads/microtesk-2.5.1-beta-200127/gen/src/java" does not exist!

Actions #1

Updated by Alexander Protsenko over 4 years ago

compile.sh:

@call ant -f %MICROTESK_HOME%/bin/build.xml clean
@call java -ea -jar "%MICROTESK_HOME%/lib/jars/microtesk.jar" -od "%MICROTESK_HOME%/gen" %*
@call ant -f %MICROTESK_HOME%/bin/build.xml

Actions #2

Updated by Alexander Protsenko over 4 years ago

  • Status changed from New to Resolved
Actions #3

Updated by Sergey Smolov over 4 years ago

  • Status changed from Resolved to Open

I don't think that the bug is resolved. Other scripts provide the adequate output for the '--help' option, but compile.sh returns the following:

Buildfile: /home/ssedai/projects/microtesk/build/distributions/microtesk-2.5.2-beta-SNAPSHOT/bin/build.xml

clean:
   [delete] Deleting directory /home/ssedai/projects/microtesk/build/distributions/microtesk-2.5.2-beta-SNAPSHOT/gen

BUILD SUCCESSFUL
Total time: 0 seconds
usage: [options] Files to be processed
-ad,--arch-dirs <arg>              Home directories for tested architectures [works with -g],
                                   default="" 
-ae,--asserts-enabled              Enables assertion checks during simulation [works with -g],
                                   default=false
-af,--align-format <arg>           Alignment directive format [works with -g], default=".align %d" 
-aff,--align-format2 <arg>         Alignment directive format [works with -g], default=".align %d,
                                   0x%02x" 
-baf,--byte-align-format <arg>     Byte alignment directive format [works with -g], default=".balign
                                   %d" 
-baff,--byte-align-format2 <arg>   Byte alignment directive format [works with -g], default=".balign
                                   %d, 0x%02x" 
-bel,--branch-exec-limit <arg>     Maximum execution count for an instruction [works with -g],
                                   default=100
-bfbe,--binary-file-big-endian     Use big endian for binary files, default=false
-bfe,--binary-file-extension <arg> Binary file extension [works with -g], default="bin" 
-btn,--base-template-name <arg>    Name of test template base class [works with -gt], default="" 
-btp,--base-template-path <arg>    Path to test template base class file [works with -gt],
                                   default="" 
-cd,--comments-debug               Enables generation of detailed comments, depends on
                                   --comments-enabled [works with -g], default=false
-ce,--comments-enabled             Enables generation of comments [works with -g], default=false
-cfe,--code-file-extension <arg>   Output file extension [works with -g], default="asm" 
-cfp,--code-file-prefix <arg>      Output file prefix [works with -g], default="test" 
-cl,--coverage-log                 Enables coverage trace generation [works with -g], default=false
-ct,--comment-token <arg>          Single-line comment text [works with -g], default="//" 
-cte,--comment-token-end <arg>     Text that ends a multiline comment [works with -g], default="*/" 
-cts,--comment-token-start <arg>   Text that starts a multiline comment [works with -g],
                                   default="/*" 
-d,--disassemble                   Disassembles binary files, default=false
-dfe,--data-file-extension <arg>   Data file extension [works with -g], default="asm" 
-dfp,--data-file-prefix <arg>      Data file prefix [works with -g], default="data" 
-dp,--debug-print                  Enables printing detailed debug messages [works with -g],
                                   default=false
-dsk,--data-section-keyword <arg>  Data section directive [works with -g], default=".data" 
-dtd,--default-test-data           Enables generation of default test data [works with -g],
                                   default=false
-ed,--extension-dir <arg>          Directory that stores user-defined Java code [works with -t],
                                   default="" 
-efp,--except-file-prefix <arg>    Exception handler file prefix [works with -g],
                                   default="test_except" 
-fde,--fetch-decode-enabled        Enables allocation, fetching and decoding of instructions [works
                                   with -g], default=false
-g,--generate                      Generates test programs, default=false
-gb,--generate-binary              Enables generating binary files (limited functionality for
                                   debugging) [works with -g], default=false
-gf,--global-format <arg>          Global directive format [works with -g], default=".globl %s" 
-gt,--generate-template            Generates test templates, default=false
-h,--help                          Shows help message, default=false
-i,--include <arg>                 Directory that stores include files [works with -t], default="" 
-ii,--ignored-instructions <arg>   Instructions to be ignored [works with -gt], default="" 
-in,--instance-number <arg>        Number of processing element instances [works with -g], default=1
-it,--indent-token <arg>           Indentation text [works with -g], default=" 
                                   " 
-jtpm,--jruby-thread-pool-max <arg>JRuby: maximum number of threads to allow in pool [works with
                                   -g], default=2147483647
-mn,--model-name <arg>             Name of the constructed microprocessor model [works with -t],
                                   default="" 
-ns,--no-simulation                Disables simulation of generated code [works with -g],
                                   default=false
-od,--output-dir <arg>             Directory to place generated files, default="./output" 
-of,--origin-format <arg>          Origin directive format [works with -g], default=".org 0x%x" 
-off,--option-format <arg>         Option directive format [works with -g], default=".option %s" 
-paf,--power2-align-format <arg>   Power of 2 alignment directive format [works with -g],
                                   default=".p2align %d" 
-paff,--power2-align-format2 <arg> Power of 2 alignment directive format [works with -g],
                                   default=".p2align %d, 0x%02x" 
-pll,--program-length-limit <arg>  Maximum program length [works with -g], default=1000
-rd,--reserve-dependencies         Enables automated reservation of registers that have dependencies
                                   [works with -g], default=false
-re,--reserve-explicit             Enables marking all explicitly specified registers as used [works
                                   with -g], default=false
-ri,--rev-id <arg>                 Identifier of revision to be used, default="" 
-rl,--rate-limit <arg>             Minimum generation rate [works with -g], default=0
-rs,--random-seed <arg>            Seed for randomizer [works with -g], default=0
-s,--solver <arg>                  Constraint solver engine to be used, default="cvc4" 
-sc,--self-checks                  Enables inserting self-checks into test programs [works with -g],
                                   default=false
-sd,--solver-debug                 Enables debug mode for SMT solvers [works with -g], default=false
-se,--symbolic-execute             Performs symbolic execution, default=false
-st,--separator-token <arg>        Text used to create separators [works with -g], default="=" 
-t,--translate                     Translates formal specifications, default=false
-tl,--tracer-log                   Enables generation of Tracer logs for simulation [works with -g],
                                   default=false
-tll,--trace-length-limit <arg>    Maximum execution trace length [works with -g], default=1000
-ts,--time-statistics              Enables printing time statistics [works with -g], default=false
-tsk,--text-section-keyword <arg>  Text section directive [works with -g], default=".text" 
-tt,--transform-trace              Transforms traces into templates, default=false
-v,--verbose                       Enables printing diagnostic messages, default=false
-wf,--weak-format <arg>            Weak directive format [works with -g], default=".weak %s" 

Buildfile: /home/ssedai/projects/microtesk/build/distributions/microtesk-2.5.2-beta-SNAPSHOT/bin/build.xml

build:
    [mkdir] Created dir: /home/ssedai/projects/microtesk/build/distributions/microtesk-2.5.2-beta-SNAPSHOT/gen/bin

BUILD FAILED
/home/ssedai/projects/microtesk/build/distributions/microtesk-2.5.2-beta-SNAPSHOT/bin/build.xml:47: srcdir "/home/ssedai/projects/microtesk/build/distributions/microtesk-2.5.2-beta-SNAPSHOT/gen/src/java" does not exist!

Total time: 0 seconds

Actions #4

Updated by Sergey Smolov over 4 years ago

  • Assignee set to Alexander Kamkin
Actions #5

Updated by Alexander Protsenko over 1 year ago

  • Target version changed from 2.5 to 2.6
Actions

Also available in: Atom PDF