[Fink-users] openmpi-dev is missing files

[Victor E. <eij...@ta...>]

I was hoping that openmpi-dev would be the result of "configure -- 
with-devel-headers" but no such luck:

[albook:~] %% fink list | grep openmpi-dev
  i      openmpi-dev     1.2.6-1000      Development files for  
openmpi package
[albook:~] %% find /sw/ -name orte_config.h
find: /sw//var/mysql: Permission denied
[albook:~] %%

-- 
Victor Eijkhout, 512 471 5809 (w), 512 499 0504 (h)
Texas Advanced Computing Center, The University of Texas at Austin