Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
dmt
Commits
4148575b
Commit
4148575b
authored
Jan 08, 2020
by
Thanassis Tsiodras
Browse files
At Maxime's request, provide a default for the 'STATIC' modifier.
parent
34f98001
Changes
2
Hide whitespace changes
Inline
Side-by-side
dmt/B_mappers/asynchronousTool.py
View file @
4148575b
...
...
@@ -105,6 +105,9 @@ class ASynchronousToolGlueGenerator:
self
.
C_HeaderFile
.
write
(
"#else
\n
"
)
self
.
C_HeaderFile
.
write
(
"typedef unsigned size_t;
\n
"
)
self
.
C_HeaderFile
.
write
(
"#endif
\n\n
"
)
self
.
C_HeaderFile
.
write
(
"#ifndef STATIC
\n
"
)
self
.
C_HeaderFile
.
write
(
"#define STATIC
\n
"
)
self
.
C_HeaderFile
.
write
(
"#endif
\n\n
"
)
self
.
C_HeaderFile
.
write
(
"
\n
"
)
self
.
C_SourceFile
.
write
(
"#ifdef __unix__
\n
"
)
self
.
C_SourceFile
.
write
(
"#include <stdio.h>
\n
"
)
...
...
dmt/B_mappers/synchronousTool.py
View file @
4148575b
...
...
@@ -175,9 +175,12 @@ class SynchronousToolGlueGeneratorGeneric(Generic[TSource, TDestin]):
self
.
C_SourceFile
.
write
(
"#ifdef __unix__
\n
"
)
self
.
C_SourceFile
.
write
(
"#include <stdio.h>
\n
"
)
self
.
C_SourceFile
.
write
(
"#include <string.h>
\n\n
"
)
self
.
C_SourceFile
.
write
(
"#include <assert.h>
\n
\n
"
)
self
.
C_SourceFile
.
write
(
"#endif
\n
"
)
self
.
C_SourceFile
.
write
(
"#include <assert.h>
\n
"
)
self
.
C_SourceFile
.
write
(
"#endif
\n
\n
"
)
self
.
C_SourceFile
.
write
(
"#ifndef STATIC
\n
"
)
self
.
C_SourceFile
.
write
(
"#define STATIC
\n
"
)
self
.
C_SourceFile
.
write
(
"#endif
\n\n
"
)
self
.
C_SourceFile
.
write
(
"#include
\"
%s
\"\n
"
%
outputCheaderFilename
)
self
.
HeadersOnStartup
(
modelingLanguage
,
asnFile
,
subProgram
,
subProgramImplementation
,
outputDir
,
maybeFVname
)
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment