Skip to content
Snippets Groups Projects
Commit 626e7361 authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[tests] using hack for tests/misc/global_decl_loc*.i

parent 1c5ee00d
No related branches found
No related tags found
No related merge requests found
/* run.config /* run.config
COMMENT: the script "global_decl_loc.ml" is also copied by the test "global_decl_loc2.i" COMMENT: with dune, the LIBS directive must be replaced by a MODULE directive (see also ./test_config file)
MODULE: global_decl_loc LIBS: global_decl_loc
OPT: @PTEST_DIR@/global_decl_loc2.i OPT: @PTEST_DIR@/global_decl_loc2.i
*/ */
......
/* run.config* /* run.config*
COMMENT: todo in the future: removes the EXECNOW command and modifies the MODULE directive in order to reuse "global_decl_loc" COMMENT: with dune, the LIBS directive must be replaced by a MODULE directive (see also ./test_config file)
COMMENT: the script "global_decl_loc.ml" is also used by the test "global_decl_loc.i" LIBS: global_decl_loc
EXECNOW: BIN global_decl_loc2.ml cp @PTEST_DIR@/global_decl_loc.ml @PTEST_RESULT@/global_decl_loc2.ml > @DEV_NULL@ 2> @DEV_NULL@
MODULE: result/global_decl_loc2
OPT: @PTEST_DIR@/global_decl_loc.i OPT: @PTEST_DIR@/global_decl_loc.i
*/ */
extern int g; extern int g;
......
PLUGIN: PLUGIN:
# COMMENT: The next directive is a hack because the module is used
# COMMENT: by more than one test file (./global_decl_loc.i & ./global_decl_loc2.c)
# COMMENT: and it can be compiled only once due to ptests concurency.
# COMMENT: That line should be removed with dune and modifications have to be done in ./global_decl_loc.i and ./global_decl_loc2.c.
MODULE: global_decl_loc MODULE: global_decl_loc
MODULE: MODULE:
STDOPT: STDOPT:
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment