chg: dev: add (new) generated cmake sources

Signed-off-by: Stephen L Arnold <[email protected]>

src/aig/aig/CMakeLists.txt

@@ -1,35 +1,35 @@
 abc_libabc_add_sources(
     NAME aig_aig
     SOURCES
-        aigCuts.c
-        aigCheck.c
-        aigUtil.c
-        aigOper.c
-        aigMem.c
-        aigTable.c
-        aigMffc.c
+        aigPartReg.c
+        aigCanon.c
+        aigDfs.c
+        aigSplit.c
+        aigTruth.c
         aigInter.c
-        aigRepr.c
-        aigPack.c
-        aigOrder.c
+        aigTable.c
         aigWin.c
-        aigRetF.c
-        aigSplit.c
+        aigTsim.c
+        aigUtil.c
         aigPartSat.c
-        aigScl.c
-        aigDup.c
-        aigPart.c
-        aigCanon.c
-        aigPartReg.c
-        aigShow.c
-        aigFrames.c
-        aigJust.c
         aigObj.c
-        aigTruth.c
-        aigTsim.c
-        aigRet.c
+        aigPack.c
+        aigMem.c
         aigFanout.c
-        aigDfs.c
         aigTiming.c
+        aigPart.c
+        aigShow.c
+        aigRet.c
+        aigDup.c
+        aigScl.c
+        aigRepr.c
+        aigCheck.c
+        aigOper.c
         aigMan.c
+        aigFrames.c
+        aigMffc.c
+        aigJust.c
+        aigRetF.c
+        aigOrder.c
+        aigCuts.c
 )

src/aig/gia/CMakeLists.txt

@@ -1,117 +1,117 @@
 abc_libabc_add_sources(
     NAME aig_gia
     SOURCES
-        giaRetime.c
+        giaMuxes.c
+        giaFx.c
+        giaSatLut.c
+        giaShow.c
+        giaIiff.c
+        giaLf.c
+        giaCut.c
+        giaSupps.c
+        giaAiger.c
+        giaAgi.c
+        giaCSat2.c
+        giaAig.c
+        giaBalAig.c
+        giaSatEdge.c
         giaCCof.c
-        giaSupp.c
-        giaEsop.c
-        giaCSatOld.c
-        giaPf.c
-        giaOf.c
-        giaDup.c
-        giaCTas.c
-        giaShrink.c
-        giaSweeper.c
-        giaIso.c
-        giaAigerExt.c
+        gia.c
+        giaExist.c
         giaKf.c
-        giaQbf.c
-        giaUnate.c
-        giaBalLut.c
         giaCone.c
-        giaSim2.c
-        giaFront.c
-        giaBalAig.c
-        giaTis.c
-        giaAig.c
-        giaSat3.c
-        giaSimBase.c
-        giaGen.c
-        giaMfs.c
         giaIso2.c
-        giaCex.c
+        giaReshape1.c
+        giaSpeedup.c
+        giaMf.c
+        giaFalse.c
+        giaAigerExt.c
+        giaOf.c
+        giaCSatP.c
+        giaEra2.c
         giaTtopt.cpp
-        giaScript.c
-        giaIf.c
-        giaReshape2.c
-        giaSatLut.c
-        giaStr.c
-        giaMini.c
-        giaAgi.c
+        giaShrink.c
         giaSif.c
-        giaFanout.c
-        giaTsim.c
-        giaSatSyn.c
-        giaBalMap.c
-        giaFrames.c
-        giaExist.c
+        giaResub2.c
+        giaCSat.c
+        giaFront.c
+        giaTis.c
+        giaTim.c
+        giaDup.c
+        giaGlitch.c
+        giaCof.c
+        giaScl.c
+        giaRex.c
+        giaSatLE.c
+        giaBidec.c
         giaEra.c
-        giaSplit.c
-        giaIiff.c
-        giaEquiv.c
-        giaShow.c
+        giaUnate.c
+        giaDecs.c
+        giaQbf.c
+        giaCTas.c
+        giaSweep.c
+        giaMini.c
+        giaReshape2.c
+        giaForce.c
+        giaTransduction.cpp
+        giaJf.c
+        giaGig.c
         giaMan.c
-        giaHash.c
+        giaSupMin.c
+        giaResub3.c
+        giaDeep.c
         giaPat.c
+        giaCSat3.c
+        giaMinLut2.c
+        giaShrink6.c
         giaIso3.c
-        giaFx.c
-        giaScl.c
+        giaStr.c
+        giaSwitch.c
+        giaUtil.c
         giaResub6.c
         giaResub.c
-        giaSatLE.c
-        giaMuxes.c
-        giaTruth.c
-        giaGlitch.c
-        giaSatEdge.c
-        giaSort.c
-        giaFalse.c
-        giaResub2.c
-        giaGig.c
-        giaMinLut2.c
-        giaBidec.c
-        giaSupps.c
+        giaEdge.c
+        giaSupp.c
+        giaSatSyn.c
+        giaScript.c
+        giaEmbed.c
+        giaMinLut.c
+        giaSim2.c
+        giaSweeper.c
+        giaCex.c
         giaSatMap.c
+        giaMfs.c
+        giaTranStoch.c
+        giaTruth.c
+        giaNf.c
+        giaSat3.c
+        giaIf.c
         giaStg.c
         giaEnable.c
-        giaCof.c
-        giaReshape1.c
-        giaMf.c
+        giaEsop.c
+        giaSimBase.c
+        giaHash.c
+        giaCSatOld.c
+        giaMem.c
         giaPack.c
+        giaFanout.c
+        giaSplit.c
         giaSim.c
-        giaCSatP.c
-        giaUtil.c
-        giaDeep.c
-        giaRex.c
-        giaCSat3.c
-        giaEra2.c
-        giaIff.c
-        giaTranStoch.c
-        giaSpeedup.c
-        giaAiger.c
-        gia.c
-        giaDfs.c
-        giaShrink7.c
-        giaMem.c
-        giaTransduction.cpp
-        giaSupMin.c
-        giaStoch.c
-        giaJf.c
         giaSatoko.c
-        giaResub3.c
-        giaCSat.c
-        giaTim.c
-        giaEdge.c
-        giaShrink6.c
-        giaLf.c
-        giaDecs.c
-        giaSwitch.c
-        giaForce.c
-        giaMinLut.c
-        giaCut.c
-        giaNf.c
-        giaCSat2.c
+        giaIff.c
         giaPat2.c
+        giaTsim.c
+        giaStoch.c
+        giaRetime.c
+        giaGen.c
+        giaEquiv.c
+        giaDfs.c
+        giaFrames.c
         giaClp.c
-        giaEmbed.c
-        giaSweep.c
+        giaBalLut.c
+        giaSort.c
+        giaPf.c
+        giaBalMap.c
+        giaShrink7.c
+        giaIso.c
 )

src/aig/hop/CMakeLists.txt

@@ -1,14 +1,14 @@
 abc_libabc_add_sources(
     NAME aig_hop
     SOURCES
+        hopTruth.c
+        hopTable.c
+        hopMan.c
+        hopMem.c
         hopDfs.c
-        hopUtil.c
-        hopObj.c
-        hopCheck.c
         hopBalance.c
-        hopTable.c
+        hopCheck.c
         hopOper.c
-        hopMem.c
-        hopMan.c
-        hopTruth.c
+        hopObj.c
+        hopUtil.c
 )

src/aig/ioa/CMakeLists.txt

@@ -1,7 +1,7 @@
 abc_libabc_add_sources(
     NAME aig_ioa
     SOURCES
-        ioaUtil.c
-        ioaReadAig.c
         ioaWriteAig.c
+        ioaReadAig.c
+        ioaUtil.c
 )

src/aig/ivy/CMakeLists.txt

@@ -1,26 +1,26 @@
 abc_libabc_add_sources(
     NAME aig_ivy
     SOURCES
-        ivyDsd.c
-        ivyBalance.c
-        ivyRwr.c
+        ivySeq.c
+        ivyMem.c
         ivyMan.c
-        ivyDfs.c
+        ivyMulti.c
+        ivyFraig.c
         ivyShow.c
+        ivyFastMap.c
         ivyCutTrav.c
-        ivyHaig.c
-        ivyFanout.c
+        ivyUtil.c
+        ivyCanon.c
         ivyResyn.c
-        ivyFastMap.c
-        ivyObj.c
+        ivyOper.c
+        ivyFanout.c
+        ivyHaig.c
+        ivyBalance.c
+        ivyRwr.c
         ivyCheck.c
-        ivyUtil.c
+        ivyObj.c
         ivyCut.c
-        ivyMulti.c
-        ivySeq.c
-        ivyOper.c
-        ivyFraig.c
+        ivyDsd.c
+        ivyDfs.c
         ivyTable.c
-        ivyCanon.c
-        ivyMem.c
 )

src/aig/saig/CMakeLists.txt

@@ -1,30 +1,30 @@
 abc_libabc_add_sources(
     NAME aig_saig
     SOURCES
-        saigIsoSlow.c
-        saigIoa.c
-        saigInd.c
-        saigCone.c
-        saigSynch.c
+        saigSimFast.c
         saigWnd.c
-        saigDual.c
-        saigConstr.c
-        saigRetStep.c
+        saigCone.c
         saigTempor.c
-        saigIsoFast.c
-        saigIso.c
+        saigSynch.c
+        saigScl.c
+        saigConstr2.c
+        saigRetMin.c
         saigRetFwd.c
+        saigIoa.c
+        saigInd.c
+        saigSimMv.c
+        saigSwitch.c
+        saigIsoFast.c
         saigSimSeq.c
-        saigSimFast.c
+        saigDual.c
         saigOutDec.c
+        saigIsoSlow.c
+        saigDup.c
+        saigPhase.c
+        saigRetStep.c
+        saigStrSim.c
         saigMiter.c
-        saigSimMv.c
+        saigIso.c
+        saigConstr.c
         saigTrans.c
-        saigSwitch.c
-        saigConstr2.c
-        saigRetMin.c
-        saigStrSim.c
-        saigPhase.c
-        saigScl.c
-        saigDup.c
 )