On Wed, May 16, 2018 at 10:29:30PM +0200, Julia Lawall wrote: > > [glisse@localhost ~]$ spatch --version > > spatch version 1.0.6 compiled with OCaml version 4.05.0 > > Flags passed to the configure script: --build=x86_64-redhat-linux-gnu > > --host=x86_64-redhat-linux-gnu --program-prefix= > > --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr > > --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc > > --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 > > --libexecdir=/usr/libexec --localstatedir=/var --sharedstatedir=/var/lib > > --mandir=/usr/share/man --infodir=/usr/share/info --enable-release=yes > > --with-python=/usr/bin/python3 --with-menhir=/usr/bin/menhir > > Python scripting support: yes > > Syntax of regular expresssions: PCRE > > I don't think this indicates whether it is bytecode or native code, and I > don't know what the fedora people offer. > > My bytecode executable is 41M and my native code executable is 13M.
I am guessing native code: -rwxr-xr-x. 1 root root 1.3K May 10 13:51 /usr/bin/spatch Jérôme _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
