> What does "Yes, in principle" mean? My knowledge might be still incomplete for this issue.
> Did you actually change anything to lib64, or specify lib64 on a command line, No. > because you considered that on your 64 bit system that was the better choice? I find such technical detail still ordinary. > Because there are hard coded instances of lib in the various configuration > files. Would it make sense to change this? > So it seems hard to understand how a hard coded occurrence of lib > could be transformed into lib64. How do you think about to add any dedicated configuration options? Are additional variables needed? Does this specific name "lib" refer to the well-known directory where shared libraries should usually be stored? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
