diff options
| author | Mart Kolthof <skolthof@cs.uu.nl> | 2006-08-31 07:54:21 +0000 |
|---|---|---|
| committer | Mart Kolthof <skolthof@cs.uu.nl> | 2006-08-31 07:54:21 +0000 |
| commit | cc125be42e2ea86e5874f9763fd2a43f20b2530b (patch) | |
| tree | 1fc3dd5c141da8170a8135286a696466575aa5c8 /pkgs/development/libraries/cil-aterm | |
| parent | 98038f9592c09222401fde9e01d7f86e91c66b35 (diff) | |
| download | nixlib-cc125be42e2ea86e5874f9763fd2a43f20b2530b.tar nixlib-cc125be42e2ea86e5874f9763fd2a43f20b2530b.tar.gz nixlib-cc125be42e2ea86e5874f9763fd2a43f20b2530b.tar.bz2 nixlib-cc125be42e2ea86e5874f9763fd2a43f20b2530b.tar.lz nixlib-cc125be42e2ea86e5874f9763fd2a43f20b2530b.tar.xz nixlib-cc125be42e2ea86e5874f9763fd2a43f20b2530b.tar.zst nixlib-cc125be42e2ea86e5874f9763fd2a43f20b2530b.zip | |
Enabling verbose output in order find the problem of bug CX-1
svn path=/nixpkgs/trunk/; revision=6407
Diffstat (limited to 'pkgs/development/libraries/cil-aterm')
| -rw-r--r-- | pkgs/development/libraries/cil-aterm/cil-aterm-1.3.4.patch | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/pkgs/development/libraries/cil-aterm/cil-aterm-1.3.4.patch b/pkgs/development/libraries/cil-aterm/cil-aterm-1.3.4.patch index d8b5764fde98..a8fde9f99858 100644 --- a/pkgs/development/libraries/cil-aterm/cil-aterm-1.3.4.patch +++ b/pkgs/development/libraries/cil-aterm/cil-aterm-1.3.4.patch @@ -30,6 +30,51 @@ diff -urN cil.orig/Makefile.cil.in cil/Makefile.cil.in cil.spec: cil.spec.in ./config.status $@ +diff -urN cil.orig/ocamlutil/Makefile.ocaml cil/ocamlutil/Makefile.ocaml +--- cil.orig/ocamlutil/Makefile.ocaml 2005-11-22 06:34:41.000000000 +0100 ++++ cil/ocamlutil/Makefile.ocaml 2006-08-31 09:50:11.000000000 +0200 +@@ -135,6 +135,7 @@ + + CAMLFLAGS =$(OPT_FLAGS) -I $(OBJDIR) + ++ + # sm: two styles for echoing compilation progress: + # style 1, by George: + # - print English descriptions of what's happening +@@ -152,20 +153,12 @@ + # $(AT) - put this before shell commands which are to be executed, + # and also printed in style 2 + # $(ECHO) - use in place of '@' for things not printed in either style +-ifdef ECHOSTYLE_SCOTT +- # 'true' silently consumes its arguments, whereas 'echo' prints them +- NARRATIVE := true +- COMMAND := echo +- AT := +- ECHO := @ +-else +- NARRATIVE := echo +- COMMAND := true +- # change these next two definitions to <empty> to echo everything, +- # or leave as @ to suppress echoing +- AT := @ +- ECHO := @ +-endif ++ ++# 'true' silently consumes its arguments, whereas 'echo' prints them ++NARRATIVE := true ++COMMAND := echo ++AT := ++ECHO := @ + + ifdef PREPROC + COMPILEFLAGS += -pp "$(PREPROC)$" +@@ -361,4 +354,4 @@ + endif + + listmodules: +- @echo $(MODULES) +\ No newline at end of file ++ @echo $(MODULES) diff -urN cil.orig/src/ext/atermprinter.ml cil/src/ext/atermprinter.ml --- cil.orig/src/ext/atermprinter.ml 1970-01-01 01:00:00.000000000 +0100 +++ cil/src/ext/atermprinter.ml 2006-08-30 06:33:13.000000000 +0200 |