Sam,
You can build petsc with different PETSC_ARCH under same PETSC_DIR, e.g., 
define PETSC_ARCH = arch_real or arch_complex to build different petsc 
libraries. Simply switch to different PETSC_ARCH when you use them. See 
https://www.mcs.anl.gov/petsc/documentation/installation.html#compilers

Hong

________________________________
From: petsc-users <[email protected]> on behalf of Sam Guo 
<[email protected]>
Sent: Monday, October 26, 2020 2:12 PM
To: PETSc <[email protected]>
Subject: [petsc-users] change lib names

Dear PETSc team,
  I like to change petsc lib name to petsc_real or petsc_complex to distinguish 
real vs complex version. Simply copy of libpetsc to libpetsc_real does not 
help. I need to update PETSc makefile to recompile but I have troubles to 
figure out where PETSc makefile decides the lib name.

Thanks,
Sam

Reply via email to