Removed the default prefix of /usr, which makes the default prefix
/usr/local. This breaks backwards compatibility with various
documentation, videos, etc., but conforms with standard Linux
practices, however misguided they may be. Once the open_pdks
Sky130 distribution becomes a package (which is inevitable, given
how long the installation takes), then the documented /usr/share/
will be correct anyway.
diff --git a/docs.txt b/docs.txt
index c2882b2..13b2c71 100644
--- a/docs.txt
+++ b/docs.txt
@@ -140,16 +140,16 @@
make Generate local staging area
sudo make install Install onto local system
- which will install to /usr/share/pdk directory.
+ which will install to /usr/local/share/pdk directory.
Users can also elect to install somewhere by giving ./configure the
`--prefix` and other similar standard ./configure options.
For example;
- Installing to /usr/local/share/pdk;
+ Installing to /usr/share/pdk;
- ./configure --prefix=/usr/local
+ ./configure --prefix=/usr
make
sudo make install
